search

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.49k stars 533 forks source link

Fix AARCH64 ubfiz semantics #1237

Closed Antwy closed 1 year ago

Antwy commented 1 year ago

Found extra bit miscalculation in inclusive extract for width in ubfiz aarch64 semantics:

( BitVec 65) (concat ( bv0 52) (( extract 7 0) ref!19240) ( bv0 5))) ; Extended part - UBFIZ operation - 0xffffbb1192cc: ubfiz x23, x0, #5, #7

JonathanSalwan commented 1 year ago

Can you also add an unittest for this one ?