draperlaboratory / VIBES

Verified, Incremental, Binary Editing with Synthesis
MIT License
51 stars 1 forks source link

Fix the `split_on_conditional` pass in `vibes-opt` #221

Closed bmourad01 closed 2 years ago

bmourad01 commented 2 years ago

It needs to move all of the jumps of the original block to the "split" block, and then insert a new jump to that block.