Skip to content

v2.0.0
Compare
Choose a tag to compare
@ivg ivg released this 12 Nov 19:24
· 443 commits to master since this release
v2.0.0
db7b112
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

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

Assets 13
Loading