Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
Hi! I've encountered with a problem using method getWrittenRegisters() in aarch64.
For example:
ldur w1, [x29, #-4]
lsl w8, w1, #16
Data from [x29, #-4] is symbolic, so w1 must be symbolic. Then i try to call getWrittenRegisters() for lsl w8, w1, #16 instruction and it returns me an empty set, but w8 should be written.
Hi! I've encountered with a problem using method
getWrittenRegisters()
in aarch64. For example:Data from [x29, #-4] is symbolic, so
w1
must be symbolic. Then i try to call getWrittenRegisters() forlsl w8, w1, #16
instruction and it returns me an empty set, butw8
should be written.