triton::engines::synthesis::Synthesizer Class Reference

The Synthesizer engine class. More...

#include <synthesizer.hpp>

Public Member Functions
TRITON_EXPORT	Synthesizer (triton::engines::symbolic::SymbolicEngine *symbolic)
	Constructor.
TRITON_EXPORT SynthesisResult	synthesize (const triton::ast::SharedAbstractNode &node, bool constant=true, bool subexpr=true, bool opaque=false)
	Synthesizes a given node. If constant is true, perform a constant synthesis. If opaque is true, perform opaque constant synthesis. If subexpr is true, analyze children AST.

Detailed Description

The Synthesizer engine class.

Definition at line 67 of file synthesizer.hpp.

Constructor & Destructor Documentation

Synthesizer()

triton::engines::synthesis::Synthesizer::Synthesizer

(

triton::engines::symbolic::SymbolicEngine *

symbolic

)

Constructor.

Definition at line 25 of file synthesizer.cpp.

Member Function Documentation

synthesize()

SynthesisResult triton::engines::synthesis::Synthesizer::synthesize	(	const triton::ast::SharedAbstractNode &	node,
		bool	constant = true,
		bool	subexpr = true,
		bool	opaque = false
	)

Synthesizes a given node. If constant is true, perform a constant synthesis. If opaque is true, perform opaque constant synthesis. If subexpr is true, analyze children AST.

Substitute all sub expressions

Definition at line 33 of file synthesizer.cpp.

---

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

• /Users/jonathan/Works/Tools/Triton/src/libtriton/includes/triton/synthesizer.hpp
• /Users/jonathan/Works/Tools/Triton/src/libtriton/engines/synthesis/synthesizer.cpp