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

Add x86 PSRLD, PSRLQ and PSRLW semantics #1188

Closed hexpell closed 1 year ago

JonathanSalwan commented 1 year ago

I'm fixing the Bitwuzla CI first and then I will review/merge your MR :)

JonathanSalwan commented 1 year ago

Also, can you add some tests in this file? You just have to append to the CODE list some psrlX instructions with random values into registers. Try to combine a lot of combination like different sizes of register and memory.