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

backward slicing #1242

Open antonislouca opened 1 year ago

antonislouca commented 1 year ago

As a follow-up to my previous issue, I would like to know if Triton has a functionality that can link the following instructions with backward slicing:

1: sub $0x1a8,%rsp 2: mov %rsi,0xa8(%rsp)
3: mov %rdi,%rax 4: mov 0xa8(%rsp),%rdi 5: mov %rax,0xb0(%rsp) 6: mov %rdi,0xb8(%rsp) 7: mov %rax,0x168(%rsp)

8: mov 0xb0(%rsp),%rax 9: mov 0x10(%rsp),%rcx 10: mov 0xf(%rsp),%dl 11: mov %dl,(%rax,%rcx,1) I want to backward slice from either instruction 11 or 8 and try to find the dependency of instruction 5 or instruction 3 is this possible?