|
libTriton version 1.0 build 1599
|
The Arm32 ISA semantics. More...
#include <arm32Semantics.hpp>
Public Member Functions | |
| TRITON_EXPORT | Arm32Semantics (triton::arch::Architecture *architecture, triton::engines::symbolic::SymbolicEngine *symbolicEngine, triton::engines::taint::TaintEngine *taintEngine, const triton::ast::SharedAstContext &astCtxt) |
| Constructor. | |
| TRITON_EXPORT triton::arch::exception_e | buildSemantics (triton::arch::Instruction &inst) |
Builds the semantics of the instruction. Returns triton::arch::NO_FAULT if succeed. | |
Public Member Functions inherited from triton::arch::SemanticsInterface | |
| virtual TRITON_EXPORT | ~SemanticsInterface () |
| Destructor. | |
The Arm32 ISA semantics.
Definition at line 54 of file arm32Semantics.hpp.
| triton::arch::arm::arm32::Arm32Semantics::Arm32Semantics | ( | triton::arch::Architecture * | architecture, |
| triton::engines::symbolic::SymbolicEngine * | symbolicEngine, | ||
| triton::engines::taint::TaintEngine * | taintEngine, | ||
| const triton::ast::SharedAstContext & | astCtxt ) |
Constructor.
Definition at line 112 of file arm32Semantics.cpp.
|
virtual |
Builds the semantics of the instruction. Returns triton::arch::NO_FAULT if succeed.
Implements triton::arch::SemanticsInterface.
Definition at line 133 of file arm32Semantics.cpp.