Wrap results of jumps in conditionals

draperlaboratory / cbat_tools

Program analysis tools developed at Draper on the CBAT project.

MIT License

102 stars 14 forks source link

Closed fortunac closed 3 years ago

fortunac commented 3 years ago

This PR handles conditional calls (of the form when x call y with return z) using the same functionality as our conditional jumps.