search

draperlaboratory / VIBES

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

User-provided space for patches #138

Closed ccasin closed 2 years ago

ccasin commented 2 years ago

This adds a new config-file field for the user to provide us with information about regions in the binary that can be replaced with overflow patch code. It's threaded through to the patcher, which already had support for using that information.

jtpaasch commented 2 years ago

All looks good to me! The usage in data.ml is exactly correct. I see nice errors too, it's tracked by the seeder, there is a system test, and so on. Awesome!