libTriton  version 0.7 build 1419
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.
 

Enumerations

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

Detailed Description

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).

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.

TAINT_THROUGH_POINTERS 

[taint] Spread the taint if an index pointer is already tainted (see #725).

Definition at line 29 of file modesEnums.hpp.