libTriton version 1.0 build 1590
Loading...
Searching...
No Matches
modesEnums.hpp
Go to the documentation of this file.
1
2/*
3** Copyright (C) - Triton
4**
5** This program is under the terms of the Apache License 2.0.
6*/
7
8#ifndef TRITON_MODES_HPP
9#define TRITON_MODES_HPP
10
11
12
14namespace triton {
21 namespace modes {
43
45 };
47};
48
49namespace std {
51 template <> struct hash<triton::modes::mode_e> : public hash<uint64_t> {
52 };
53};
54
55#endif /* TRITON_MODES_HPP */
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
The Triton namespace.