BINSEC ASE is an open-source toolset to help improve software security at the binary level by including a powerful attacker model able to inject faults into a program.
This is a fork of BINSEC.
More information about BINSEC ASE is available at: https://binsec.github.io/
See install instructions.
Then, have a look at user documentation for command examples.
We also make available a developer guide.
An artifact version of BINSEC ASE is available on Zenodo. It provides binary executable, benchmarks and tutorials to reproduce the experiments of "Adversarial Reachability for Program-level Security Analysis", by Soline Ducousso, Sébsatien Bardin and Marie-Laure Potet, accepted for publication at ESOP 2023.