libTriton  version 0.6 build 1375
Public Member Functions | List of all members
triton::ast::AstContext Class Reference

AST Context - Used as AST builder. More...

#include <astContext.hpp>

Public Member Functions

TRITON_EXPORT AstContext ()
 Constructor.
 
TRITON_EXPORT AstContext (const AstContext &other)
 Constructor by copy.
 
TRITON_EXPORT ~AstContext ()
 Destructor.
 
TRITON_EXPORT AstContextoperator= (const AstContext &other)
 Operator.
 
TRITON_EXPORT SharedAbstractNode bv (triton::uint512 value, triton::uint32 size)
 AST C++ API - bv node builder.
 
TRITON_EXPORT SharedAbstractNode bvadd (const SharedAbstractNode &expr1, const SharedAbstractNode &expr2)
 AST C++ API - bvadd node builder.
 
TRITON_EXPORT SharedAbstractNode bvand (const SharedAbstractNode &expr1, const SharedAbstractNode &expr2)
 AST C++ API - bvand node builder.
 
TRITON_EXPORT SharedAbstractNode bvashr (const SharedAbstractNode &expr1, const SharedAbstractNode &expr2)
 AST C++ API - bvashr node builder.
 
TRITON_EXPORT SharedAbstractNode bvfalse (void)
 AST C++ API - bvfalse node builder.
 
TRITON_EXPORT SharedAbstractNode bvlshr (const SharedAbstractNode &expr1, const SharedAbstractNode &expr2)
 AST C++ API - bvlshr node builder.
 
TRITON_EXPORT SharedAbstractNode bvmul (const SharedAbstractNode &expr1, const SharedAbstractNode &expr2)
 AST C++ API - bvmul node builder.
 
TRITON_EXPORT SharedAbstractNode bvnand (const SharedAbstractNode &expr1, const SharedAbstractNode &expr2)
 AST C++ API - bvnand node builder.
 
TRITON_EXPORT SharedAbstractNode bvneg (const SharedAbstractNode &expr)
 AST C++ API - bvneg node builder.
 
TRITON_EXPORT SharedAbstractNode bvnor (const SharedAbstractNode &expr1, const SharedAbstractNode &expr2)
 AST C++ API - bvnor node builder.
 
TRITON_EXPORT SharedAbstractNode bvnot (const SharedAbstractNode &expr)
 AST C++ API - bvnot node builder.
 
TRITON_EXPORT SharedAbstractNode bvor (const SharedAbstractNode &expr1, const SharedAbstractNode &expr2)
 AST C++ API - bvor node builder.
 
TRITON_EXPORT SharedAbstractNode bvrol (triton::uint32 rot, const SharedAbstractNode &expr)
 AST C++ API - bvrol node builder.
 
TRITON_EXPORT SharedAbstractNode bvrol (const SharedAbstractNode &rot, const SharedAbstractNode &expr)
 AST C++ API - bvrol node builder.
 
TRITON_EXPORT SharedAbstractNode bvror (triton::uint32 rot, const SharedAbstractNode &expr)
 AST C++ API - bvror node builder.
 
TRITON_EXPORT SharedAbstractNode bvror (const SharedAbstractNode &rot, const SharedAbstractNode &expr)
 AST C++ API - bvror node builder.
 
TRITON_EXPORT SharedAbstractNode bvsdiv (const SharedAbstractNode &expr1, const SharedAbstractNode &expr2)
 AST C++ API - bvsdiv node builder.
 
TRITON_EXPORT SharedAbstractNode bvsge (const SharedAbstractNode &expr1, const SharedAbstractNode &expr2)
 AST C++ API - bvsge node builder.
 
TRITON_EXPORT SharedAbstractNode bvsgt (const SharedAbstractNode &expr1, const SharedAbstractNode &expr2)
 AST C++ API - bvsgt node builder.
 
TRITON_EXPORT SharedAbstractNode bvshl (const SharedAbstractNode &expr1, const SharedAbstractNode &expr2)
 AST C++ API - bvshl node builder.
 
TRITON_EXPORT SharedAbstractNode bvsle (const SharedAbstractNode &expr1, const SharedAbstractNode &expr2)
 AST C++ API - bvsle node builder.
 
TRITON_EXPORT SharedAbstractNode bvslt (const SharedAbstractNode &expr1, const SharedAbstractNode &expr2)
 AST C++ API - bvslt node builder.
 
TRITON_EXPORT SharedAbstractNode bvsmod (const SharedAbstractNode &expr1, const SharedAbstractNode &expr2)
 AST C++ API - bvsmod node builder.
 
TRITON_EXPORT SharedAbstractNode bvsrem (const SharedAbstractNode &expr1, const SharedAbstractNode &expr2)
 AST C++ API - bvsrem node builder.
 
TRITON_EXPORT SharedAbstractNode bvsub (const SharedAbstractNode &expr1, const SharedAbstractNode &expr2)
 AST C++ API - bvsub node builder.
 
TRITON_EXPORT SharedAbstractNode bvtrue (void)
 AST C++ API - bvtrue node builder.
 
TRITON_EXPORT SharedAbstractNode bvudiv (const SharedAbstractNode &expr1, const SharedAbstractNode &expr2)
 AST C++ API - bvudiv node builder.
 
TRITON_EXPORT SharedAbstractNode bvuge (const SharedAbstractNode &expr1, const SharedAbstractNode &expr2)
 AST C++ API - bvuge node builder.
 
TRITON_EXPORT SharedAbstractNode bvugt (const SharedAbstractNode &expr1, const SharedAbstractNode &expr2)
 AST C++ API - bvugt node builder.
 
TRITON_EXPORT SharedAbstractNode bvule (const SharedAbstractNode &expr1, const SharedAbstractNode &expr2)
 AST C++ API - bvule node builder.
 
TRITON_EXPORT SharedAbstractNode bvult (const SharedAbstractNode &expr1, const SharedAbstractNode &expr2)
 AST C++ API - bvult node builder.
 
TRITON_EXPORT SharedAbstractNode bvurem (const SharedAbstractNode &expr1, const SharedAbstractNode &expr2)
 AST C++ API - bvurem node builder.
 
TRITON_EXPORT SharedAbstractNode bvxnor (const SharedAbstractNode &expr1, const SharedAbstractNode &expr2)
 AST C++ API - bvxnor node builder.
 
TRITON_EXPORT SharedAbstractNode bvxor (const SharedAbstractNode &expr1, const SharedAbstractNode &expr2)
 AST C++ API - bvxor node builder.
 
TRITON_EXPORT SharedAbstractNode concat (const SharedAbstractNode &expr1, const SharedAbstractNode &expr2)
 AST C++ API - concat node builder.
 
template<typename T >
SharedAbstractNode concat (const T &exprs)
 AST C++ API - concat node builder.
 
TRITON_EXPORT SharedAbstractNode decimal (triton::uint512 value)
 AST C++ API - decimal node builder.
 
TRITON_EXPORT SharedAbstractNode distinct (const SharedAbstractNode &expr1, const SharedAbstractNode &expr2)
 AST C++ API - distinct node builder.
 
TRITON_EXPORT SharedAbstractNode equal (const SharedAbstractNode &expr1, const SharedAbstractNode &expr2)
 AST C++ API - equal node builder.
 
TRITON_EXPORT SharedAbstractNode extract (triton::uint32 high, triton::uint32 low, const SharedAbstractNode &expr)
 AST C++ API - extract node builder.
 
TRITON_EXPORT SharedAbstractNode ite (const SharedAbstractNode &ifExpr, const SharedAbstractNode &thenExpr, const SharedAbstractNode &elseExpr)
 AST C++ API - ite node builder.
 
TRITON_EXPORT SharedAbstractNode land (const SharedAbstractNode &expr1, const SharedAbstractNode &expr2)
 AST C++ API - land node builder.
 
template<typename T >
SharedAbstractNode land (const T &exprs)
 AST C++ API - land node builder.
 
TRITON_EXPORT SharedAbstractNode let (std::string alias, const SharedAbstractNode &expr2, const SharedAbstractNode &expr3)
 AST C++ API - let node builder.
 
TRITON_EXPORT SharedAbstractNode lnot (const SharedAbstractNode &expr)
 AST C++ API - lnot node builder.
 
TRITON_EXPORT SharedAbstractNode lor (const SharedAbstractNode &expr1, const SharedAbstractNode &expr2)
 AST C++ API - lor node builder.
 
template<typename T >
SharedAbstractNode lor (const T &exprs)
 AST C++ API - lor node builder.
 
TRITON_EXPORT SharedAbstractNode reference (const triton::engines::symbolic::SharedSymbolicExpression &expr)
 AST C++ API - reference node builder.
 
TRITON_EXPORT SharedAbstractNode string (std::string value)
 AST C++ API - string node builder.
 
TRITON_EXPORT SharedAbstractNode sx (triton::uint32 sizeExt, const SharedAbstractNode &expr)
 AST C++ API - sx node builder.
 
TRITON_EXPORT SharedAbstractNode variable (triton::engines::symbolic::SymbolicVariable &symVar)
 AST C++ API - variable node builder.
 
TRITON_EXPORT SharedAbstractNode zx (triton::uint32 sizeExt, const SharedAbstractNode &expr)
 AST C++ API - zx node builder.
 
TRITON_EXPORT void initVariable (const std::string &name, const triton::uint512 &value, const SharedAbstractNode &node)
 Initializes a variable in the context.
 
TRITON_EXPORT void updateVariable (const std::string &name, const triton::uint512 &value)
 Updates a variable value in this context.
 
SharedAbstractNode getVariableNode (const std::string &name)
 Gets a variable node from its name.
 
TRITON_EXPORT const triton::uint512getVariableValue (const std::string &varName) const
 Gets a variable value from its name.
 
TRITON_EXPORT void setRepresentationMode (triton::uint32 mode)
 Sets the representation mode for this astContext.
 
TRITON_EXPORT triton::uint32 getRepresentationMode (void) const
 Gets the representations mode of this astContext.
 
TRITON_EXPORT std::ostream & print (std::ostream &stream, AbstractNode *node)
 Print the given node with this context representation.
 

Detailed Description

AST Context - Used as AST builder.

Definition at line 43 of file astContext.hpp.


The documentation for this class was generated from the following files: