Tags: olivierh59500/bap
Tags
BAP 2.0.0 release (candidate) (BinaryAnalysisPlatform#1017) * BAP 2.0.0 release (candidate) Polishes documentation as well as fixes the theory declaration function. And finally bumps the version to 2.0.0. Whle revising the documentation I've noticed that the interface of theory declaration is not allowing references to other theories as it isn't wrapped in the knowledge monad as it should be. I fixed it, but immediately fell into the trap of a recursive instantiation. Indeed, a theory may require itself as a base, which will lead to an infinite recursion and runtime failure. Since it is so easy to fall into this trap, the implementation has to be robust enough and either forbid this, with an appropriate error message, or allow it, with an appropriate semantics. We chose the latter, since our theories are domains we have a sane semantics for recursive theories (well, this is what denotational semantics was invented on the first hand). We employed the same technique for recursive module instantiation as OCaml does, i.e., first initialize the theory with an empty structure, then overwrite it with the result. * updates testsuites commit
updates bap version (BinaryAnalysisPlatform#943) * updates bap version * updates changelog
ensures static linking with llvm >= 4.0 (BinaryAnalysisPlatform#889) it turned out that after `llvm-4.0` a default linking mode is `shared`, and it's not what we want. e.g. debian package will be broken, as `bap` will be depend from `LLVM.so`. our previous request for libraries now returns an extremly short list: ``` ubuntu@ubuntu-xenial:~$ llvm-config-4.0 --libs -lLLVM-4.0 ``` which is just shared library. So what we can do, is to use a new flag for llvm-config: ``` ubuntu@ubuntu-xenial:~$ llvm-config-4.0 --link-static --libs -lLLVMLTO -lLLVMPasses -lLLVMObjCARCOpts -lLLVMMIRParser ... ``` Here it is!
updates documentation, copyrights, readme, and changes (BinaryAnalysi… …sPlatform#785) Documented new functions, deprecated those that are superceeded by Primus. Enumerated all new features and bug fixes in the CHANGES, bumped all versions and copyright dates. Also added a sed script to our document generator ocamldoc now started to generate lots of `include ??` entries (probably from the ppx derived stuff). Also I've reindented bap.mli. The ocp-indent tool was chocking on it, because of attributes that were put inside of the recursive type definition. Fine by OCaml, not fine to ocp-indent. Once I've fixed it, it moved quite a significant part of bap.mli... so sorry for this big change.
fix few bugs in bap-llvm (BinaryAnalysisPlatform#701) * fix bug with section name * minor
add lost beagle file (BinaryAnalysisPlatform#629) also adds an automatic generation of tgz binaries.
updated the changes file (BinaryAnalysisPlatform#565) in the future we should impose a policy, that every PR that introduces something new must update the changes.md, otherwise it will be always outdated.
Merge pull request BinaryAnalysisPlatform#276 from ivg/v0.9.9-PR releasing 0.9.9
Merge pull request BinaryAnalysisPlatform#228 from ivg/final-fixes Cleaner error handling and some bug fixes.
PreviousNext