triton::ast::TritonToZ3 Class Reference

Converts a Triton's AST to Z3's AST. More...

#include <tritonToZ3.hpp>

Public Member Functions
TRITON_EXPORT	TritonToZ3 (bool eval=true)
	Constructor.
TRITON_EXPORT	~TritonToZ3 ()
	Destructor.
TRITON_EXPORT z3::expr	convert (const triton::ast::SharedAbstractNode &node)
	Converts to Z3's AST.

Public Attributes
std::unordered_map< std::string, triton::ast::SharedAbstractNode >	symbols
	The map of symbols. E.g: (let (symbols expr1) expr2)
std::unordered_map< std::string, triton::engines::symbolic::SharedSymbolicVariable >	variables
	The set of symbolic variables contained in the expression.

Protected Attributes
z3::context	context
	The z3's context.

Detailed Description

Converts a Triton's AST to Z3's AST.

Definition at line 37 of file tritonToZ3.hpp.

Constructor & Destructor Documentation

TritonToZ3()

triton::ast::TritonToZ3::TritonToZ3

(

bool

eval = true

)

Constructor.

Definition at line 22 of file tritonToZ3.cpp.

~TritonToZ3()

triton::ast::TritonToZ3::~TritonToZ3

(

)

Destructor.

Definition at line 28 of file tritonToZ3.cpp.

Member Function Documentation

convert()

z3::expr triton::ast::TritonToZ3::convert

(

const triton::ast::SharedAbstractNode &

node

)

Converts to Z3's AST.

Definition at line 40 of file tritonToZ3.cpp.

Member Data Documentation

context

z3::context triton::ast::TritonToZ3::context

protected

The z3's context.

Definition at line 50 of file tritonToZ3.hpp.

symbols

std::unordered_map<std::string, triton::ast::SharedAbstractNode> triton::ast::TritonToZ3::symbols

The map of symbols. E.g: (let (symbols expr1) expr2)

Definition at line 54 of file tritonToZ3.hpp.

variables

std::unordered_map<std::string, triton::engines::symbolic::SharedSymbolicVariable> triton::ast::TritonToZ3::variables

The set of symbolic variables contained in the expression.

Definition at line 57 of file tritonToZ3.hpp.

---

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

• /Users/jonathan/Works/Tools/Triton/src/libtriton/includes/triton/tritonToZ3.hpp
• /Users/jonathan/Works/Tools/Triton/src/libtriton/ast/z3/tritonToZ3.cpp