Features

#1016 adds unknown architecture #1014 restores postinstall and man pages #1013 tweaks the cache plugin #1011 tweaks the subroutine ordering in the run plugin #1006 extends the test coverage on Travis #1005 introduces Bap_main the entry point to BAP #1005 new command line interface and library #1005 a new raw loader for opening unknown files and raw code #1005 a new objdump command for linearly disassembling binaries #1005 a new Byteweight threshold using the Bayes Factors procedure #1005 adds more control over byteweight thresholding #1005 implements custom thresholding procedures for Byteweight #1005 extends the Trie module with iterators and printers #1005 new toplevel based on utop #1005 new bytecode frontend for debugging #1005 adds a central location for regular readers and writers #999 tweaks Graphlibs fixpoint to preserve previous solution #998 represents rep prefix with while in x86 #993 prevents Primus from going to deep into PLT entries #991 tweaks the print plugin #990 represents ARM conditionals with ite expressions when possible #998 implements more fine granular view on the image memory #979 parametrize Lisp malloc with an initialization strategy #960 new subroutine packing algorithm #960 new incremental disassembler #960 new knowledge representation library #960 new representation of program semantics #960 new bitvectors library #948 disables Primus' taint GC by default

Bug fixes

#1013 resolves leaking files in the cache plugin #1003 rectifies Primus semantics in case of exceptions #1002 fixes bind operator in the Future library #1000 fixes instruction properties computation for barriers #985 fixes atexit Lisp stub #980 fixes a bug in the configure script #971 limits continuations at forks in the promiscuous mode #970 fixes the argument evaluation order in call-return #964 fixes Primus random generators #962 fixes the semantics of signed division by zero in x86 #958 fixes Primus memory semantics with randomized memories #955 improves stack handling in Primus for x86 #950 fixes the taint sanitization procedure