reimplement elf parser about bap HOT 5 CLOSED

Consider using the one from static2, in fact, consider using static2 as a backing memory store.

AFAIK, BAP as a core library should just create and manipulate semantic representations of individual instructions, why does it need to load ELF files?

from bap.

Why not take something like radare2 framework to load various file formats and architectures? It is a C library, easy to use thorough FFI and has swig bindings - https://github.com/radare/radare2-bindings/tree/master/ocaml (need to be fixed though).

from bap.

@geohot, that's not true, BAP as a core library should provide all necessary facilities for binary analysis. In particular, it provides parsing binary files, disassembling, lifting them to MC and BIL, provide CFG, symbol tables, etc... This is only to mention what is planned on a next milestone. So, indeed, later it will be static2 who uses BAP, not vice verse.

from bap.

@XVilka, and who is saying that we wouldn't take it. BAP is supposed to be a pluggable framework, that can use any backends. And sooner or later I will add a plugin that uses radar, but I do not want to see it as a core component.

from bap.

@ivg Anyway happy to hear that - feel free to poke us if you think something wrong on the our side.

from bap.