libTriton  version 1.0 build 1558
Public Member Functions | List of all members
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. More...
 
TRITON_EXPORT SymbolicSimplification (const SymbolicSimplification &other)
 Constructor. More...
 
TRITON_EXPORT triton::ast::SharedAbstractNode simplify (const triton::ast::SharedAbstractNode &node) const
 Processes all recorded simplifications. Returns the simplified node. More...
 
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. More...
 
TRITON_EXPORT SymbolicSimplificationoperator= (const SymbolicSimplification &other)
 Copies a SymbolicSimplification. More...
 

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 165 of file symbolicSimplification.cpp.

◆ SymbolicSimplification() [2/2]

triton::engines::symbolic::SymbolicSimplification::SymbolicSimplification ( const SymbolicSimplification other)

Constructor.

Definition at line 171 of file symbolicSimplification.cpp.

Member Function Documentation

◆ operator=()

SymbolicSimplification & triton::engines::symbolic::SymbolicSimplification::operator= ( const SymbolicSimplification other)

Copies a SymbolicSimplification.

Definition at line 316 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 220 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 182 of file symbolicSimplification.cpp.


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