Staging
v0.5.1
v0.5.1
opam+https://opam.ocaml.org/packages/binsec/
README.md
# BINSEC [![License: LGPL](https://img.shields.io/badge/license-LGPL--2.1-blue.svg)](https://opensource.org/licenses/LGPL-2.1)
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.
# Website
More information about **BINSEC** is available at: https://binsec.github.io/
# Getting started
See [install instructions](./INSTALL.md).
Then, have a look at [user documentation](doc) for command examples.
# Contributing
Found a bug or want to make a suggestion,
check [how to contribute](./CONTRIBUTING.md) improving **BINSEC**.