Binary Analysis Platform Files

Features

• [#957] switches to OCaml 4.0.{7,8,9} and core_kernel v0.12
• [#1024] optimizes the Knowledge run function
• [#1026] adds --show-invalid and --stop-on-error bap to mc/objdump
• [#1027] adds the command stanza to the recipes grammar
• [#1028] improves the build time
• [#1039] adds an optional omake backend
• [#1042] revamps Primus Lisp type checker
• [#1053] tweaks primus-mark-visited to mark called stubs as visited
• [#1051] adds liveness analysis
• [#1055] caches the dissasembler state
• [#1061] optimizes Primus observations
• [#1061] adds clocks to the Primus interpreter
• [#1061] switches to clock ticks as the default limited in primus-limit
• [#1059] adds an ability to lift instruction into intrinsics calls
• [#1059] adds IEEE754 Primus library
• [#1059] allows referencing any variable in a project from Primus Lisp
• [#1059] adds the lisp-primitive observation
• [#1035] adds stubs for realloc in Primus Lisp
• [#1071] exposes the commit ID in bap --version
• [#1075] integrates Primus with the Knowledge base
• [#1075] introduces Primus systems and components
• [#1075] adds restricted mode to Primus Machine monad
• [#1075] adds an option to run Primus on marked subroutines
• [#1075] refines the timeline of a Primus machine
• [#1075] adds an ability to run multiple instances of Primus
• [#1079] switches to odig
• [#1084] removes the outdated docker images
• [#1086] relaxes variables name restriction allowing any character
• [#1093] gives programmatic access to ABI processors
• [#1036] adds an ABI pass that redirects stubs to implementations
• [#1101] updates to LLVM 10
• [#1095] prunes unreachable code in the optimization pass
• [#1099] adds support for windows PDB files
• [#1105] adds symbolic executor
• [#1105] adds support for modern C runtime
• [#1105] adds the default C prototype
• [#1105] better error reports, no backtraces unless BAP_DEBUG is set
• [#1105] adds ite, branch, and repeat Primus operations
• [#1105] complete rewrite of Primus generators (wide generators)
• [#1105] completely overhauls the implementation of the random generator
• [#1105] new primus-random plugin that controls Primus randomness
• [#1105] adds Primus.Env and Primus.Memory generated observations
• [#1105] extends the Primus.Memory interface
• [#1105] extends the Primus.Env interface
• [#1105] new less heavy interface for Lisp primitives
• [#1105] relaxes Primus Interpreter typing rules
• [#1105] makes Primus Lisp interpreter more transparent
• [#1105] adds static and global variables to Primus Lisp
• [#1105] fixes Lisp msg operator
• [#1105] enables overloading based on systems and components
• [#1105] adds the Primus.Memory.add_region function
• [#1105] allows Primus execution from any basic block
• [#1105] makes values unique across different machines
• [#1105] adds the primus track visited library
• [#1105] adds the primus symbolic executor plugin
• [#1105] adds symbolic IO system
• [#1105] adds many new stubs
• [#1105] extends Primus Lisp's Dictionary interface
• [#1105] adds the default limit to Primus Limiter
• [#1105] reimplements Primus Lisp memory allocator (malloc)
• [#1105] adds the symbol-of-string primitive
• [#1105] adds the eval-lisp bap command
• [#1105] fixes the multisystem run observation subscription
• [#1105] splits the promiscuous mode into subcomponents
• [#1105] adds new primitives to the Primus region library
• [#1105] tweaks the core systems
• [#1105] fixes memcheck-malloc on strn* operations
• [#1105] adds incident deduplication
• [#1105] adds x86 non-standard registers initialization
• [#1105] extends the run plugin

Bug fixes

• [#1025] compels plugins to respect the Bap_main rules
• [#1026] fixes --show-size and --show-kinds in bap mc
• [#1027] removes the default command hack in bap
• [#1037] makes dynamic loading sound
• [#1042] fixes the visited attribute attaching in primus-mark-visited
• [#1045] prevents cmdliner from fetching plugins path from environment
• [#1034] fixes arguments attributes in the callsites plugin
• [#1032] fixes taint garbage collector
• [#1048] fixes the missing filename attribute
• [#1049] prevents overwriting of a file in the input channel redirection
• [#1054] fixes CFG partitioning based on call destinations information
• [#1073] fixes the installation of man pages
• [#1083] fixes the entry point in docker images
• [#1082] disables broken llvm (< 8.0) for aarch64 targets
• [#1085] handles correctly ELF files without sections
• [#1102] fixes Bil.eval with non-standard memory sizes