Modes

Collaboration diagram for Modes:

Classes
class	triton::modes::Modes
	The modes class. More...

Typedefs
using	triton::modes::SharedModes = std::shared_ptr< triton::modes::Modes >
	Shared Modes.

Enumerations
enum	triton::modes::mode_e {   triton::modes::ALIGNED_MEMORY , triton::modes::AST_OPTIMIZATIONS , triton::modes::CONCRETIZE_UNDEFINED_REGISTERS , triton::modes::CONSTANT_FOLDING ,   triton::modes::MEMORY_ARRAY , triton::modes::ONLY_ON_SYMBOLIZED , triton::modes::ONLY_ON_TAINTED , triton::modes::PC_TRACKING_SYMBOLIC ,   triton::modes::SYMBOLIZE_INDEX_ROTATION , triton::modes::SYMBOLIZE_LOAD , triton::modes::SYMBOLIZE_STORE , triton::modes::TAINT_THROUGH_POINTERS }
	Enumerates all kinds of mode. More...

Detailed Description

Typedef Documentation

SharedModes

using triton::modes::SharedModes = typedef std::shared_ptr<triton::modes::Modes>

Shared Modes.

Definition at line 66 of file modes.hpp.

Enumeration Type Documentation

mode_e

enum triton::modes::mode_e

Enumerates all kinds of mode.

Enumerator
ALIGNED_MEMORY	[symbolic] Keep a map of aligned memory.
AST_OPTIMIZATIONS	[AST] Classical arithmetic optimisations to reduce the depth of the trees.
CONCRETIZE_UNDEFINED_REGISTERS	[symbolic] Concretize every registers tagged as undefined (see #750).
CONSTANT_FOLDING	[symbolic] Perform a constant folding optimization of sub ASTs which do not contain symbolic variables.
MEMORY_ARRAY	[symbolic] Enable memory symbolic array
ONLY_ON_SYMBOLIZED	[symbolic] Perform symbolic execution only on symbolized expressions.
ONLY_ON_TAINTED	[symbolic] Perform symbolic execution only on tainted instructions.
PC_TRACKING_SYMBOLIC	[symbolic] Track path constraints only if they are symbolized.
SYMBOLIZE_INDEX_ROTATION	[symbolic] Symbolize index rotation for bvrol and bvror (see #751). This mode increases the complexity of solving.
SYMBOLIZE_LOAD	[symbolic] Symbolize memory load if memory array is enabled
SYMBOLIZE_STORE	[symbolic] Symbolize memory store if memory array is enabled
TAINT_THROUGH_POINTERS	[taint] Spread the taint if an index pointer is already tainted (see #725).

Definition at line 29 of file modesEnums.hpp.