triton::engines::symbolic::SymbolicSimplification Class Reference

The symbolic simplification class. More...

#include <symbolicSimplification.hpp>

Inheritance diagram for triton::engines::symbolic::SymbolicSimplification:

Public Member Functions
TRITON_EXPORT	SymbolicSimplification (triton::arch::Architecture *architecture, triton::callbacks::Callbacks *callbacks=nullptr)
	Constructor.
TRITON_EXPORT	SymbolicSimplification (const SymbolicSimplification &other)
	Constructor.
TRITON_EXPORT triton::ast::SharedAbstractNode	simplify (const triton::ast::SharedAbstractNode &node) const
	Processes all recorded simplifications. Returns the simplified node.
TRITON_EXPORT triton::arch::BasicBlock	simplify (const triton::arch::BasicBlock &block, bool padding=false) const
	Performs a dead store elimination simplification. If padding is true, keep addresses aligned and padds with NOP instructions.
TRITON_EXPORT SymbolicSimplification &	operator= (const SymbolicSimplification &other)
	Copies a SymbolicSimplification.

Detailed Description

The symbolic simplification class.

Definition at line 44 of file symbolicSimplification.hpp.

Constructor & Destructor Documentation

SymbolicSimplification() [1/2]

triton::engines::symbolic::SymbolicSimplification::SymbolicSimplification	(	triton::arch::Architecture *	architecture,
		triton::callbacks::Callbacks *	callbacks = nullptr )

Constructor.

Definition at line 166 of file symbolicSimplification.cpp.

SymbolicSimplification() [2/2]

triton::engines::symbolic::SymbolicSimplification::SymbolicSimplification

(

const SymbolicSimplification &

other

)

Constructor.

Definition at line 172 of file symbolicSimplification.cpp.

Member Function Documentation

operator=()

SymbolicSimplification & triton::engines::symbolic::SymbolicSimplification::operator=

(

const SymbolicSimplification &

other

)

Copies a SymbolicSimplification.

Definition at line 317 of file symbolicSimplification.cpp.

simplify() [1/2]

triton::arch::BasicBlock triton::engines::symbolic::SymbolicSimplification::simplify	(	const triton::arch::BasicBlock &	block,
		bool	padding = false ) const

Performs a dead store elimination simplification. If padding is true, keep addresses aligned and padds with NOP instructions.

Definition at line 221 of file symbolicSimplification.cpp.

simplify() [2/2]

triton::ast::SharedAbstractNode triton::engines::symbolic::SymbolicSimplification::simplify

(

const triton::ast::SharedAbstractNode &

node

)

const

Processes all recorded simplifications. Returns the simplified node.

Definition at line 183 of file symbolicSimplification.cpp.

---

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

• /Users/jonathan/Works/Tools/Triton/src/libtriton/includes/triton/symbolicSimplification.hpp
• /Users/jonathan/Works/Tools/Triton/src/libtriton/engines/symbolic/symbolicSimplification.cpp