x86 MOVQ should not trigger memory read callback when the dst is memory access

JonathanSalwan / Triton

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

https://triton-library.github.io

Apache License 2.0

3.5k stars 533 forks source link

x86 MOVQ should not trigger memory read callback when the dst is memory access #1165

Closed hexpell closed 2 years ago

hexpell commented 2 years ago

Currently in the MOVQ semantics:

auto op1 = this->symbolicEngine->getOperandAst(inst, dst);

This line always triggers a memory read callback for the dst operand, even if the dst is memory access.