December 04, 2019

We are happy to announce the release of version 0.3 of the BINSEC platform.

This version is available for download from our Github repository here.

We are working on releasing an OPAM package a docker image for this version by running. Stay tuned !


- 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
- Fix (vectorized instructions) x86 decoder
- Detach PINSEC to own repository (support to be deprecated in later version)