[ANN] BAP 2.2.0 Release

We are proud to announce the 2.2.0 release of the Carnegie Mellon University Binary Analysis Platform. BAP is the framework and toolkit for analyzing programs in their machine code representation. This update has a lot of new features despite that originally it was more as a maintenance version. Special thanks to @XVilka and @Phosphorus15 for contributing Thumb/ThumbV2 lifter and radare2 integration. We would also like to thank ForAllSecure for open-sourcing and contributing to us their x86 floating-point lifter. The new version of BAP is also much more efficient and we now have a much better symbolization facility (so we’re no longer really dependent on the presence of external tools). Another nice addition is a new REPL powered by ocaml-linenoise, see the demo below.