package binsec

  1. Overview
  2. Docs
Semantic analysis of binary executables

Install

dune-project
 Dependency

Authors

Maintainers

Sources

binsec-0.5.0.tbz
sha256=9aa038f6e45339109bdc3fbe3e87522a412cc2f4b32422c85f541b3bbd596f1e
sha512=95d241d85bb9b25d9d7145430484c3aa9c0401abbced672046753c56c46c8debbf643a1587dd3a3dd59b126c1fc91a02517be04009488aa3e1867d14f73a458c

doc/README.html

BINSEC License: LGPL

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. Then, have a look at user documentation for command examples.

Contributing

Found a bug or want to make a suggestion, check how to contribute improving BINSEC.

OCaml

Innovation. Community. Security.