Tags give the ability to mark specific points in history as being important
  • 0.4.1
    b7474140 · Release BINSEC 0.4.1 ·
    Release 0.4.1
    
    CHANGES:
    
    ** Features
    
       - Reworked Backward Bounded Symbolic Execution
         (together with some [documentation](doc/bbsse/))
    
    ** Misc
    
       - Support native OCaml
         [bitwuzla binding](https://github.com/bitwuzla/ocaml-bitwuzla)
    
    ** Bug
    
       - Fix an issue with 64-bit kernel virtual addresses
  • 0.4.0
    ff550b05 · Release BINSEC 0.4.0 ·
    Release 0.4.0
    
    CHANGES:
    
    ** Features
    
       - New architecture support : ARMv7 Thumb mode
         (requires [unisim_archisec](https://github.com/binsec/unisim_archisec))
       - New architecture support : AARCH64
         (requires [unisim_archisec](https://github.com/binsec/unisim_archisec))
       - New architecture support : AMD64
         (requires [unisim_archisec](https://github.com/binsec/unisim_archisec))
       - Backward Bounded Symbolic Execution (experimental)
       - Reworked Static Symbolic Execution
         (together with some [documentation](doc/sse/))
    
    ** Dropped features (until rework)
    
       - Static Abstract Interpretation
       - Dynamic Symbolic Execution
    
    ** Misc
    
       - Use Dune build system
       - Remove several system dependencies (PIQI, ZMQ)
  • binsec-0.3
    31e01908 · Release BINSEC 0.3 ·
  • binsec-0.2beta
    15841241 · Release BINSEC 0.2beta ·
  • binsec-0.1
    b0449827 · v0.1 ·