Binary Analysis Platform Files

Features

• [#1132] adds the missing toupper and tolower prototypes
• [#1134] implements better support for cross memory disassembling
• [#1142] Tweak jumping and eval cond
• [#1112] adds symbolizer based on radare2
• [#1155] removes the buffer tracking
• [#1160] makes build_plugin.sh more portable
• [#1164] splits oasis multipackages into sub-packages
• [#1171] creates a separate package for the strings plugin
• [#1170] prevents delay slots from becoming a basic block start
• [#1173] publishes and documents the new disassembler engine
• [#1177] enables unallocated memories in symbolic executor
• [#1119] enables multiple projects in the same knowledge base
• [#1187] renovates the LLVM backend
• [#1198] adds is-executable and format attributes and fixes glibc rt check
• [#1197] adds the specification command
• [#1196] implements support for ARM Modified Immediate Constants
• [#1209] improves symbolization facilities
• [#1212] enables enumeration of objects in the knowledge base
• [#1200] optimizes functional tests
• [#1217] a new portable and efficient knowledge base representation
• [#1217] a REPL for querying and modifying the knowledge base
• [#1220] removes section and other symbols from the ELF loader output
• [#1221] switches to Fowler-Noll-Vo hash algorithm for hashing names
• [#1225] optimizes the merge function for OGRE documents
• [#1225] implements bin_io and sexp protocol for OGRE docs
• [#1225] uses real names for Knowledge.Name.t sexp-serialization
• [#1225] overhauls the target/architecture abstraction (1/n)
• [#1226] overhauls the target/architecture abstraction (2/n)
• [#1227] overhauls the target/architecture abstraction (3/n)
• [#1229] upgrades bap to LLVM 11
• [#1230] adds a proper handling of unitialized memory in Primus.Memory.map
• [#1178] enables ARM Thumb/Thumb2 and interworking
• [#1116] updates to OCaml 4.{10,11}, drops 4.07, switches to core_kernel v0.14
• [#1234] adds binding operators to the monads library
• [#1235] prints only code regions, use sections for names
• [#1237] initializes the default policy in primus taint analyzers
• [#1241] makes the taint-attached observation on taint introductions
• [#1243] enables intermachine communication
• [#1244] tweaks the Taint Engine and partially rewrites the Taint GC
• [#1245] propagates stub resolver results to program term attributes
• [#1246] protects symbolic executor from segfaults when setting memory inputs
• [#1255] x86 floating-point lifter

Bug fixes

• [#1123] fixes an inifinite loop in certain Primus Lisp analysis
• [#1129] handles correctly XDG_CACHE_HOME
• [#1140] fixes getenv Lisp stub
• [#1147] fixes taint propagation for unmodeled subroutines
• [#1143] fixes the fgetc stub and the channel-input primitive return type
• [#1128] fix rev16 instruction
• [#1165] fixes barrier instructions with delay slots
• [#1219] fixes the implementation of strncasecmp and strcmp models
• [#1224] fixes a trivial typo in the symbolic fread implementation
• [#1222] Fix Pcmp instruction
• [#1233] fixes Machine.Observation.watch function and publishes fork/switch
• [#1238] fixes improper compartmentalization of project computations
• [#1240] fixes-bap-taint-gc fixes the sign handling in the atoi stub
• [#1251] fixes Primus Lisp typechecker (was missing errors)