BINSEC is an open-source toolset to help improve software security at
the binary level. It relies on cutting-edge research in binary code analysis,
at the intersection of formal methods, program analysis, security and software
engineering. It is powered up by state-of-the-art techniques such as
binary-level formal methods, symbolic execution, abstract interpretation,
SMT solving and fuzzing.
More information about BINSEC is available at: https://binsec.github.io/
Found a bug or want to make a suggestion,
check how to contribute improving BINSEC.
with-test & >= "0.7"
with-test & >= "2"
build & >= "20181113"