Some fixes to Binja higher vars

draperlaboratory / VIBES

Verified, Incremental, Binary Editing with Synthesis

MIT License

51 stars 1 forks source link

Some fixes to Binja higher vars #241

Closed bmourad01 closed 2 years ago

bmourad01 commented 2 years ago

When we collect the live variables, we should try to use the "Mapped Medium Level IL" when possible. There's other fixes in here that cover some edge cases that I'm discovering.