libTriton  version 0.9 build 1502
MODE

[python api] All information about the MODE Python namespace.

Description


The MODE namespace contains all kinds of modes.

Example

>>> setMode(MODE.ONLY_ON_TAINTED, True)

Python API - Items of the MODE namespace


  • MODE.ALIGNED_MEMORY
    Enabled, Triton will keep a map of aligned memory to reduce the symbolic memory explosion of LOAD and STORE accesses.
  • MODE.AST_OPTIMIZATIONS
    Enabled, Triton will reduces the depth of the trees using classical arithmetic optimisations.
  • MODE.CONCRETIZE_UNDEFINED_REGISTERS
    Enabled, Triton will concretize every register tagged as undefined (see #750).
  • MODE.CONSTANT_FOLDING
    Enabled, Triton will perform a constant folding optimization of sub ASTs which do not contain symbolic variables.
  • MODE.ONLY_ON_SYMBOLIZED
    Enabled, Triton will perform symbolic execution only on symbolized expressions.
  • MODE.ONLY_ON_TAINTED
    Enabled, Triton will perform symbolic execution only on tainted instructions.
  • MODE.PC_TRACKING_SYMBOLIC
    Enabled, Triton will track path constraints only if they are symbolized. This mode is enabled by default.
  • MODE.SYMBOLIZE_INDEX_ROTATION
    Enabled, Triton will symbolize the index of rotation for bvror and bvrol nodes. This mode increases the complexity of solving.
  • MODE.TAINT_THROUGH_POINTERS
    Enabled, the taint is spread if an index pointer is already tainted (see #725).