libTriton version 1.0 build 1588
Loading...
Searching...
No Matches
Classes | Typedefs | Enumerations
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. More...
 

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

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.