8#ifndef TRITON_X8664CPU_HPP
9#define TRITON_X8664CPU_HPP
13#include <unordered_map>
69 void disassInit(
void);
79 std::unordered_map<triton::uint64, triton::uint8, IdentityHash<triton::uint64>>
memory;
337 TRITON_EXPORT
bool isThumb(
void)
const;
339 TRITON_EXPORT
const std::unordered_map<triton::arch::register_e, const triton::arch::Register>&
getAllRegisters(
void)
const;
340 TRITON_EXPORT
const std::unordered_map<triton::uint64, triton::uint8, IdentityHash<triton::uint64>>&
getConcreteMemory(
void)
const;
356 TRITON_EXPORT
void clear(
void);
363 TRITON_EXPORT
void setThumb(
bool state);
This interface is used as abstract CPU interface. All CPU must use this interface.
This class is used to represent an instruction.
This class is used to represent a memory access.
This class is used when an instruction has a register operand.
This class is used to describe the x86 (64-bits) spec.
triton::uint8 gs[triton::size::qword]
Concrete value of GS.
triton::uint8 zmm0[triton::size::dqqword]
Concrete value of zmm0.
TRITON_EXPORT bool isRegister(triton::arch::register_e regId) const
Returns true if the register ID is a register.
triton::uint8 zmm18[triton::size::dqqword]
Concrete value of zmm18.
triton::uint8 cr12[triton::size::qword]
Concrete value of cr12.
triton::uint8 rax[triton::size::qword]
Concrete value of rax.
TRITON_EXPORT x8664Cpu & operator=(const x8664Cpu &other)
Copies a x8664Cpu class.
triton::uint8 dr7[triton::size::qword]
Condete value of dr7.
TRITON_EXPORT triton::uint32 numberOfRegisters(void) const
Returns the number of registers according to the CPU architecture.
triton::uint8 st4[triton::size::fword]
Concrete value of st4.
TRITON_EXPORT void setMemoryExclusiveTag(const triton::arch::MemoryAccess &mem, bool tag)
Sets exclusive memory access tag. Only valid for Arm32 and AArch64.
triton::uint8 zmm30[triton::size::dqqword]
Concrete value of zmm30.
triton::uint8 es[triton::size::qword]
Concrete value of ES.
triton::uint8 zmm10[triton::size::dqqword]
Concrete value of zmm10.
TRITON_EXPORT triton::uint512 getConcreteRegisterValue(const triton::arch::Register ®, bool execCallbacks=true) const
Returns the concrete value of a register.
triton::uint8 r10[triton::size::qword]
Concrete value of r10.
TRITON_EXPORT const std::unordered_map< triton::uint64, triton::uint8, IdentityHash< triton::uint64 > > & getConcreteMemory(void) const
Return all memory.
triton::uint8 zmm12[triton::size::dqqword]
Concrete value of zmm12.
triton::uint8 cr1[triton::size::qword]
Concrete value of cr1.
triton::uint8 st1[triton::size::fword]
Concrete value of st1.
triton::uint8 zmm21[triton::size::dqqword]
Concrete value of zmm21.
triton::uint8 r12[triton::size::qword]
Concrete value of r12.
triton::uint8 cr10[triton::size::qword]
Concrete value of cr10.
triton::uint8 eflags[triton::size::qword]
Concrete value of eflags.
TRITON_EXPORT const triton::arch::Register & getProgramCounter(void) const
Returns the program counter register.
TRITON_EXPORT bool isMemoryExclusive(const triton::arch::MemoryAccess &mem) const
Returns true if the given memory access is tagged as exclusive. Only valid for Arm32 and AArch64.
triton::uint8 zmm5[triton::size::dqqword]
Concrete value of zmm5.
TRITON_EXPORT bool isSSECTL(triton::arch::register_e regId) const
Returns true if regId is a SSE Contol register.
TRITON_EXPORT bool isAVX512Parent(triton::arch::register_e regId) const
Returns true if regId is a AVX-512 (ZMM) register.
TRITON_EXPORT x8664Cpu(triton::callbacks::Callbacks *callbacks=nullptr)
Constructor.
triton::uint8 cr7[triton::size::qword]
Concrete value of cr7.
triton::uint8 zmm7[triton::size::dqqword]
Concrete value of zmm7.
TRITON_EXPORT triton::uint512 getConcreteMemoryValue(const triton::arch::MemoryAccess &mem, bool execCallbacks=true) const
Returns the concrete value of memory cells.
triton::uint8 zmm9[triton::size::dqqword]
Concrete value of zmm9.
triton::uint8 zmm2[triton::size::dqqword]
Concrete value of zmm2.
triton::uint8 dr1[triton::size::qword]
Condete value of dr1.
TRITON_EXPORT const triton::arch::Register & getRegister(triton::arch::register_e id) const
Returns register from id.
std::unordered_map< triton::uint64, triton::uint8, IdentityHash< triton::uint64 > > memory
map of address -> concrete value
triton::uint8 zmm27[triton::size::dqqword]
Concrete value of zmm27.
TRITON_EXPORT const std::unordered_map< triton::arch::register_e, const triton::arch::Register > & getAllRegisters(void) const
Returns all registers.
triton::uint8 mxcsr_mask[triton::size::dword]
Concrete value of the SSE Register State Mask.
triton::uint8 rip[triton::size::qword]
Concrete value of rip.
triton::uint8 zmm16[triton::size::dqqword]
Concrete value of zmm16.
TRITON_EXPORT bool isAVX256(triton::arch::register_e regId) const
Returns true if regId is a AVX-256 (YMM) register.
TRITON_EXPORT bool isEFER(triton::arch::register_e regId) const
Returns true if regId is an EFER register.
TRITON_EXPORT std::set< const triton::arch::Register * > getParentRegisters(void) const
Returns all parent registers.
triton::uint8 zmm20[triton::size::dqqword]
Concrete value of zmm20.
TRITON_EXPORT void setConcreteMemoryAreaValue(triton::uint64 baseAddr, const std::vector< triton::uint8 > &values, bool execCallbacks=true)
[architecture api] - Sets the concrete value of a memory area.
TRITON_EXPORT bool isMMX(triton::arch::register_e regId) const
Returns true if regId is a MMX register.
triton::uint8 dr6[triton::size::qword]
Condete value of dr6.
triton::uint8 cr13[triton::size::qword]
Concrete value of cr13.
TRITON_EXPORT std::vector< triton::uint8 > getConcreteMemoryAreaValue(triton::uint64 baseAddr, triton::usize size, bool execCallbacks=true) const
Returns the concrete value of a memory area.
triton::uint8 fdp[triton::size::qword]
Concrete value of the x87 FPU Instruction Operand Pointer Offset.
TRITON_EXPORT triton::uint32 gprSize(void) const
Returns the bit in byte of the General Purpose Registers.
triton::uint8 cr14[triton::size::qword]
Concrete value of cr14.
triton::uint8 st5[triton::size::fword]
Concrete value of st5.
triton::uint8 zmm6[triton::size::dqqword]
Concrete value of zmm6.
triton::uint8 cr2[triton::size::qword]
Concrete value of cr2.
triton::uint8 cr11[triton::size::qword]
Concrete value of cr11.
triton::uint8 cr4[triton::size::qword]
Concrete value of cr4.
TRITON_EXPORT bool isSSE(triton::arch::register_e regId) const
Returns true if regId is a SSE register.
triton::uint8 cr8[triton::size::qword]
Concrete value of cr8.
triton::uint8 dr0[triton::size::qword]
Concrete value of dr0.
triton::uint8 zmm13[triton::size::dqqword]
Concrete value of zmm13.
triton::uint8 cr9[triton::size::qword]
Concrete value of cr9.
triton::uint8 st7[triton::size::fword]
Concrete value of st7.
triton::uint8 fcw[triton::size::word]
Concrete value of the x87 FPU Control Word.
triton::uint8 zmm8[triton::size::dqqword]
Concrete value of zmm8.
triton::uint8 efer[triton::size::qword]
Concrete value of the EFER MSR Register.
TRITON_EXPORT void setConcreteRegisterValue(const triton::arch::Register ®, const triton::uint512 &value, bool execCallbacks=true)
[architecture api] - Sets the concrete value of a register.
triton::uint8 zmm22[triton::size::dqqword]
Concrete value of zmm22.
triton::uint8 ss[triton::size::qword]
Concrete value of SS.
triton::uint8 r9[triton::size::qword]
Concrete value of r9.
triton::uint8 rdx[triton::size::qword]
Concrete value of rdx.
triton::uint8 mxcsr[triton::size::dword]
Concrete value of the SSE Register State.
triton::uint8 cr0[triton::size::qword]
Concrete value of cr0.
triton::uint8 r15[triton::size::qword]
Concrete value of r15.
triton::uint8 dr3[triton::size::qword]
Condete value of dr3.
triton::uint8 rsi[triton::size::qword]
Concrete value of rsi.
TRITON_EXPORT bool isConcreteMemoryValueDefined(const triton::arch::MemoryAccess &mem) const
Returns true if memory cells have a defined concrete value.
triton::uint8 fs[triton::size::qword]
Concrete value of FS.
triton::uint8 r11[triton::size::qword]
Concrete value of r11.
TRITON_EXPORT bool isControl(triton::arch::register_e regId) const
Returns true if regId is a control (cr) register.
triton::uint8 cr5[triton::size::qword]
Concrete value of cr5.
TRITON_EXPORT bool isAVX512(triton::arch::register_e regId) const
Returns true if regId is a AVX-512 (ZMM) register, or XMM and YMM registers after 15.
TRITON_EXPORT triton::uint32 gprBitSize(void) const
Returns the bit in bit of the General Purpose Registers.
triton::uint8 fcs[triton::size::word]
Concrete value of the x87 FPU Instruction Pointer Selector.
triton::uint8 fop[triton::size::word]
Concrete value of the x87 FPU Opcode.
TRITON_EXPORT bool isFlag(triton::arch::register_e regId) const
Returns true if the register ID is a flag.
triton::uint8 zmm29[triton::size::dqqword]
Concrete value of zmm29.
TRITON_EXPORT void disassembly(triton::arch::Instruction &inst)
Disassembles the instruction according to the architecture.
triton::uint8 zmm31[triton::size::dqqword]
Concrete value of zmm31.
triton::uint8 rbx[triton::size::qword]
Concrete value of rbx.
triton::uint8 zmm4[triton::size::dqqword]
Concrete value of zmm4.
TRITON_EXPORT bool isSegment(triton::arch::register_e regId) const
Returns true if regId is a Segment.
triton::uint8 zmm3[triton::size::dqqword]
Concrete value of zmm3.
triton::uint8 fds[triton::size::word]
Concrete value of the x87 FPU Instruction Operand Pointer Selector.
TRITON_EXPORT const triton::arch::Register & getParentRegister(const triton::arch::Register ®) const
Returns parent register from a given one.
triton::uint8 zmm14[triton::size::dqqword]
Concrete value of zmm14.
triton::uint8 r8[triton::size::qword]
Concrete value of r8.
triton::uint8 rdi[triton::size::qword]
Concrete value of rdi.
TRITON_EXPORT bool isGPR(triton::arch::register_e regId) const
Returns true if regId is a GRP.
TRITON_EXPORT const triton::arch::Register & getStackPointer(void) const
Returns the stack pointer register.
triton::uint8 st0[triton::size::fword]
Concrete value of st0.
triton::uint8 zmm24[triton::size::dqqword]
Concrete value of zmm24.
virtual TRITON_EXPORT ~x8664Cpu()
Destructor.
TRITON_EXPORT bool isThumb(void) const
Returns true if the execution mode is Thumb. Only useful for Arm32.
triton::uint8 r14[triton::size::qword]
Concrete value of r14.
triton::uint8 tsc[triton::size::qword]
Concrete value of the TSC Register.
triton::uint8 cr3[triton::size::qword]
Concrete value of cr3.
triton::uint8 zmm1[triton::size::dqqword]
Concrete value of zmm1.
triton::uint8 zmm28[triton::size::dqqword]
Concrete value of zmm28.
triton::uint8 ds[triton::size::qword]
Concrete value of DS.
TRITON_EXPORT void clearConcreteMemoryValue(const triton::arch::MemoryAccess &mem)
Clears concrete values assigned to the memory cells.
triton::uint8 zmm23[triton::size::dqqword]
Concrete value of zmm23.
triton::uint8 st6[triton::size::fword]
Concrete value of st6.
triton::uint8 zmm19[triton::size::dqqword]
Concrete value of zmm19.
triton::uint8 rbp[triton::size::qword]
Concrete value of rbp.
triton::uint8 zmm11[triton::size::dqqword]
Concrete value of zmm11.
TRITON_EXPORT triton::arch::endianness_e getEndianness(void) const
Returns the kind of endianness as triton::arch::endianness_e.
triton::uint8 rcx[triton::size::qword]
Concrete value of rcx.
TRITON_EXPORT void setConcreteMemoryValue(const triton::arch::MemoryAccess &mem, const triton::uint512 &value, bool execCallbacks=true)
[architecture api] - Sets the concrete value of memory cells.
triton::uint8 st3[triton::size::fword]
Concrete value of st3.
triton::uint8 fsw[triton::size::word]
Concrete value of the x87 FPU Status Word.
triton::uint8 r13[triton::size::qword]
Concrete value of r13.
triton::uint8 cr6[triton::size::qword]
Concrete value of cr6.
triton::uint8 dr2[triton::size::qword]
Condete value of dr2.
TRITON_EXPORT bool isFPU(triton::arch::register_e regId) const
Returns true if regId is a FPU register.
triton::uint8 cr15[triton::size::qword]
Concrete value of cr15.
TRITON_EXPORT void setThumb(bool state)
Sets CPU state to Thumb mode.
TRITON_EXPORT bool isRegisterValid(triton::arch::register_e regId) const
Returns true if the register ID is valid.
TRITON_EXPORT void clear(void)
Clears the architecture states (registers and memory).
triton::uint8 fip[triton::size::qword]
Concrete value of the x87 FPU Instruction Pointer Offset.
triton::uint8 zmm26[triton::size::dqqword]
Concrete value of zmm26.
triton::uint8 rsp[triton::size::qword]
Concrete value of rsp.
TRITON_EXPORT bool isSTX(triton::arch::register_e regId) const
Returns true if regId is a STX register.
triton::uint8 zmm25[triton::size::dqqword]
Concrete value of zmm25.
triton::uint8 st2[triton::size::fword]
Concrete value of st2.
triton::uint8 zmm15[triton::size::dqqword]
Concrete value of zmm15.
triton::uint8 ftw[triton::size::word]
Concrete value of the x87 FPU Tag Word.
TRITON_EXPORT bool isTSC(triton::arch::register_e regId) const
Returns true if regId is an TSC register.
triton::uint8 zmm17[triton::size::dqqword]
Concrete value of zmm17.
TRITON_EXPORT bool isDebug(triton::arch::register_e regId) const
Returns true if regId is a debug (dr) register.
triton::uint8 cs[triton::size::qword]
Concrete value of CS.
The x86Specifications class defines specifications about the x86 and x86_64 CPU.
register_e
Types of register.
constexpr triton::uint32 fword
fword size in byte
constexpr triton::uint32 dword
dword size in byte
constexpr triton::uint32 dqqword
dqqword size in byte
constexpr triton::uint32 word
word size in byte
constexpr triton::uint32 qword
qword size in byte
std::size_t usize
unsigned MAX_INT 32 or 64 bits according to the CPU.
std::uint64_t uint64
unisgned 64-bits
std::uint32_t uint32
unisgned 32-bits
std::uint8_t uint8
unisgned 8-bits