angr / vex

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

Per the docs, PC used in ADR should have a +4 added #22

Open subwire opened 5 years ago

subwire commented 5 years ago

See http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.dui0473c/Cacdbfji.html

I am a bit concerned there are other places missing this.

rhelmot commented 5 years ago

this is bizarre as hell. I'm super worried about something like this - I would run it by the valgrind-developers mailing list tbh. I can verify that upstream valgrind has these lines unchanged.