8#ifndef TRITON_MODES_HPP
9#define TRITON_MODES_HPP
51 template <>
struct hash<
triton::modes::mode_e> :
public hash<uint64_t> {
mode_e
Enumerates all kinds of mode.
@ PC_TRACKING_SYMBOLIC
[symbolic] Track path constraints only if they are symbolized.
@ CONSTANT_FOLDING
[symbolic] Perform a constant folding optimization of sub ASTs which do not contain symbolic variable...
@ ALIGNED_MEMORY
[symbolic] Keep a map of aligned memory.
@ ONLY_ON_TAINTED
[symbolic] Perform symbolic execution only on tainted instructions.
@ TAINT_THROUGH_POINTERS
[taint] Spread the taint if an index pointer is already tainted (see #725).
@ SYMBOLIZE_STORE
[symbolic] Symbolize memory store if memory array is enabled
@ CONCRETIZE_UNDEFINED_REGISTERS
[symbolic] Concretize every registers tagged as undefined (see #750).
@ ONLY_ON_SYMBOLIZED
[symbolic] Perform symbolic execution only on symbolized expressions.
@ SYMBOLIZE_LOAD
[symbolic] Symbolize memory load if memory array is enabled
@ SYMBOLIZE_INDEX_ROTATION
[symbolic] Symbolize index rotation for bvrol and bvror (see #751). This mode increases the complexit...
@ AST_OPTIMIZATIONS
[AST] Classical arithmetic optimisations to reduce the depth of the trees.
@ MEMORY_ARRAY
[symbolic] Enable memory symbolic array