libTriton version 1.0 build 1592
Loading...
Searching...
No Matches
initModeNamespace.cpp
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
11#include <triton/modes.hpp>
12
13
14
74namespace triton {
75 namespace bindings {
76 namespace python {
77
92
93 }; /* python namespace */
94 }; /* bindings namespace */
95}; /* triton namespace */
@ 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
void initModeNamespace(PyObject *modeDict)
Initializes the MODE python namespace.
PyObject * PyLong_FromUint32(triton::uint32 value)
Returns a pyObject from a triton::uint32.
Definition utils.cpp:322
int xPyDict_SetItemString(PyObject *p, const char *key, PyObject *val)
Same as PyDict_SetItemString but decrements reference on object.
The Triton namespace.