libTriton version 1.0 build 1590
Loading...
Searching...
No Matches
Public Member Functions | List of all members
triton::engines::lifters::LiftingEngine Class Reference

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()

TRITON_EXPORT triton::engines::lifters::LiftingEngine::LiftingEngine ( const triton::ast::SharedAstContext astCtxt,
triton::engines::symbolic::SymbolicEngine symbolic 
)
inline

Constructor.

Definition at line 61 of file liftingEngine.hpp.


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