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.39k stars 524 forks source link

Is it possible to symbolize arbitrary memory access before the actual processing? #1316

Closed NVThufv closed 2 months ago

NVThufv commented 3 months ago

Similar to issue #1313, I'm wondering if it's feasible to symbolize arbitrary memory access before executing the actual access instruction. It appears that the accurate access information might not be fully accessible until processing occurs.

NVThufv commented 2 months ago

By adding a callback function to the concrete memory loading process, the symbolizing work can be done beforehand.