The lifting engine class. More...
#include <liftingEngine.hpp>
Inheritance diagram for triton::engines::lifters::LiftingEngine:
Public Member Functions | |
| TRITON_EXPORT | LiftingEngine (const triton::ast::SharedAstContext &astCtxt, triton::engines::symbolic::SymbolicEngine *symbolic) |
| Constructor. | |
 Public Member Functions inherited from triton::engines::lifters::LiftingToSMT | |
| TRITON_EXPORT | LiftingToSMT (const triton::ast::SharedAstContext &astCtxt, triton::engines::symbolic::SymbolicEngine *symbolic) |
| Constructor. | |
| TRITON_EXPORT std::ostream & | liftToSMT (std::ostream &stream, const triton::engines::symbolic::SharedSymbolicExpression &expr, bool assert_=false, bool icomment=false) |
Lifts a symbolic expression and all its references to SMT format. If assert_ is true, then (assert <expr>). If icomment is true, then print instructions assembly in expression comments. | |
| Public Member Functions inherited from triton::engines::lifters::LiftingToDot | |
| TRITON_EXPORT | LiftingToDot (const triton::ast::SharedAstContext &astCtxt, triton::engines::symbolic::SymbolicEngine *symbolic) |
| Constructor. | |
| TRITON_EXPORT std::ostream & | liftToDot (std::ostream &stream, const triton::ast::SharedAbstractNode &node) |
| Lifts an AST and all its references to Dot format. | |
| TRITON_EXPORT std::ostream & | liftToDot (std::ostream &stream, const triton::engines::symbolic::SharedSymbolicExpression &expr) |
| Lifts a symbolic expressions and all its references to Dot format. | |
| Public Member Functions inherited from triton::engines::lifters::LiftingToLLVM | |
| TRITON_EXPORT | LiftingToLLVM () |
| Constructor. | |
| TRITON_EXPORT std::ostream & | liftToLLVM (std::ostream &stream, const triton::engines::symbolic::SharedSymbolicExpression &expr, const char *fname="__triton", bool optimize=false) |
Lifts a symbolic expression and all its references to LLVM format. fname represents the name of the LLVM function. | |
| TRITON_EXPORT std::ostream & | liftToLLVM (std::ostream &stream, const triton::ast::SharedAbstractNode &node, const char *fname="__triton", bool optimize=false) |
Lifts a abstract node and all its references to LLVM format. fname represents the name of the LLVM function. | |
| TRITON_EXPORT triton::ast::SharedAbstractNode | simplifyAstViaLLVM (const triton::ast::SharedAbstractNode &node) const |
| Lifts and simplify an AST using LLVM. | |
| Public Member Functions inherited from triton::engines::lifters::LiftingToPython | |
| TRITON_EXPORT | LiftingToPython (const triton::ast::SharedAstContext &astCtxt, triton::engines::symbolic::SymbolicEngine *symbolic) |
| Constructor. | |
| TRITON_EXPORT std::ostream & | liftToPython (std::ostream &stream, const triton::engines::symbolic::SharedSymbolicExpression &expr, bool icomment=false) |
Lifts a symbolic expression and all its references to Python format. If icomment is true, then print instructions assembly in expression comments. | |
Detailed Description
The lifting engine class.
Definition at line 51 of file liftingEngine.hpp.
Constructor & Destructor Documentation
◆ LiftingEngine()
|
inline |
Constructor.
Definition at line 61 of file liftingEngine.hpp.
The documentation for this class was generated from the following file:
- /Users/jonathan/Works/Tools/Triton/src/libtriton/includes/triton/liftingEngine.hpp
