draperlaboratory / VIBES

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

Refactor patcher to write directly to Project.memory buffer #111

Open codyroux opened 3 years ago

codyroux commented 3 years ago

Currently, in patcher.ml, we do several things, including calls to objdump, objcopy and an OGRE query to determine and perform specific patch placement business.

@ivg has suggested we use the built in Mem.to_buffer along with OCaml bytestring manipulation instead, avoiding the need for external functions.

Not entirely sure of how this would work in the details though, so some disucssion is needed.