angr / vex

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

s390x: handle EXRL when its target is in the same buffer #20

Closed mephi42 closed 5 years ago

mephi42 commented 5 years ago

Quick and dirty implementation - we assume the target is in the same buffer as EXRL, which appears to be always the case for libc. In other cases the code would still crash or emit garbage IR.