libTriton version 1.0 build 1592
|
Classes | |
class | triton::callbacks::Callbacks |
The callbacks class. More... | |
using triton::callbacks::getConcreteMemoryValueCallback = ComparableFunctor<void(triton::Context&, const triton::arch::MemoryAccess&)> |
The prototype of a GET_CONCRETE_MEMORY_VALUE callback.
The callback takes an Context context as first argument and a memory access as second argument. Callbacks will be called each time that the Triton library will need to LOAD a concrete memory value.
Definition at line 46 of file callbacks.hpp.
using triton::callbacks::getConcreteRegisterValueCallback = ComparableFunctor<void(triton::Context&, const triton::arch::Register&)> |
The prototype of a GET_CONCRETE_REGISTER_VALUE callback.
The callback takes an Context context as first argument and a register as second argument. Callbacks will be called each time that the Triton library will need to GET a concrete register value.
Definition at line 53 of file callbacks.hpp.
using triton::callbacks::setConcreteMemoryValueCallback = ComparableFunctor<void(triton::Context&, const triton::arch::MemoryAccess&, const triton::uint512& value)> |
The prototype of a SET_CONCRETE_MEMORY_VALUE callback.
The callback takes an Context context as first argument, a memory access as second argument and the value at third. Callbacks will be called each time that the Triton library will need to STORE a concrete memory value.
Definition at line 60 of file callbacks.hpp.
using triton::callbacks::setConcreteRegisterValueCallback = ComparableFunctor<void(triton::Context&, const triton::arch::Register&, const triton::uint512& value)> |
The prototype of a SET_CONCRETE_REGISTER_VALUE callback.
The callback takes an Context context as first argument, a register as second argument and the value at third. Callbacks will be called each time that the Triton library will neet to PUT a concrete register value.
Definition at line 67 of file callbacks.hpp.
using triton::callbacks::symbolicSimplificationCallback = ComparableFunctor<triton::ast::SharedAbstractNode(triton::Context&, const triton::ast::SharedAbstractNode&)> |
The prototype of a SYMBOLIC_SIMPLIFICATION callback.
The callback takes as arguments an Context context as first argument and an abstract node as second argument The callback must return a valid abstract node which will be used as assignment according to the instruction semantics. See also the page about SMT simplification passes for more information about semantic transformations.
Definition at line 75 of file callbacks.hpp.
Enumerates all kinds callbacks.
Definition at line 29 of file callbacksEnums.hpp.