package binsec
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=11cf43df7400f2a6483e326491abadd9cb3f1e7f6e3aed70bffd24b992d4486e
sha512=30920df23b5abf97bb0777f0e5a843e7fde9cea3cc99b6e49f198bfdee870776d98a54bc6ead07c40a2efaaa21f4bc902b1dd362a09d755c26adf431ae44d569
CHANGES.md.html
0.4.0 (2021-10-12)
** Features
New architecture support : ARMv7 Thumb mode (requires unisim_archisec)
New architecture support : AARCH64 (requires unisim_archisec)
New architecture support : AMD64 (requires unisim_archisec)
Backward Bounded Symbolic Execution (experimental)
Reworked Static Symbolic Execution (together with some documentation)
** Dropped features (until rework)
Static Abstract Interpretation
Dynamic Symbolic Execution
** Misc
Use Dune build system
Remove several system dependencies (PIQI, ZMQ)
0.3.0 (2020-01-21)
** Features
New architecture support : RISC-V 32 bits
Support for DWARF-4 debug instruction format
Support to import IDA control-flow graph
Add documented plugin creation example : mnemonic count [mcount]
New Makefile 'library' to ease plugin creation
** Fixes
Fix (vectorized instructions) x86 decoder
** Misc
Detach PINSEC to own repository (support to be deprecated in later version)
0.2.0 (2018-10-01)
New symbolic execution engine
New interpreter for binary code
Improved logical representation for formulas
New internal control-flow-graph representation
Directive language for symbolic execution control
Support for new PIN tool xtrasec
Improved x86 decoder
Fixed bugs reported by KAIST
Docker support
includes Unisim-vp ARM v7 decoder
includes new PIN tool xtrasec
0.1.0 (2017-03-01)
First release