search

angr / vex

A patched version of VEX to work with PyVEX.
GNU General Public License v2.0
105 stars 44 forks source link

Add support for ADCX/ADOX instructions #31

Closed zx2c4 closed 4 years ago

zx2c4 commented 4 years ago

This is a port of svn 3365 with the bug fix for 384930 to angr's libvex.

zx2c4 commented 4 years ago

https://github.com/angr/angr/pull/1931 for claripy support.