BinaryAnalysisPlatform / bap

Binary Analysis Platform
MIT License
2.07k stars 273 forks source link

makes RSP correction for x86 targets observable #1544

Closed ivg closed 2 years ago

ivg commented 2 years ago

After a call to the RSP target we have to restore the RSP value. The component that is responsible for that was doing the correction via the Env inteface directly so that the correction wasn't observable that was preventing tracking the change in the RSP value.