Binsec.BinpatcherDefinitions for binary patcher
module PatchMap : sig ... endmodule WritableLoader : sig ... endThis module is a simple extension to the loaders of binsec where it is allowed to rewrite parts of the binary.
Run the binary patcher on patch file Binpatcher_options.PatchFile for the given executable.
The patched result is written to Binpatcher_options.PatchOutFile.