bap backend

[ivg]

It looks like that the BAP support was scrapped away from Qira. So the question is whether we're going to resurrect it?

What BAP-1.1.0 can do:

• [x] native fine-granular C interface (no more servers)
• [x] standalone binary deb package
• [x] disassembling of more than 30 architectures, usling LLVM-3.4 or LLVM-3.8
• [x] decode ARM semantics
• [x] decode x86/x86-64 semantics
• [x] parse ELF, COFF, PE, PE+, Mach-O (much more if IDA installed)
• [x] reconstruct control-flow graph
• [x] static analysis, e.g., SSA form, use-free, etc
• [x] emulate CPU (perform microexecution of a lifted program)
• [x] load and analyze traces
• [x] create traces (using QEMU and Pin)
• [x] integrate with IDA and binutils
• [x] integrate multiple analyses

There is one point that is not yet checked a binary release. I will soon implement it so that we will have several deb-packages for Ubuntu and Debian. The packages will not have any OCaml dependencies (will depend only on llvm-3.{3,8} and gmp).

So, guys, what do you think?

[Maroc-OS]

Why not it is pretty much cooler

[ivg]

besides, since that time, bap got the binary release in form of a deb/rpm/tgz packages with zero or no deps.