package binsec

  1. Overview
  2. Docs
Semantic analysis of binary executables

Install 

dune-project
 Dependency

binsec.github.io Readme Changelog LGPL-2.1-or-later License Edit opam file Versions (18)

Authors

  1. A
    Adel Djoudi
  2. B
    Benjamin Farinier
  3. F
    Frédéric Recoules
  4. J
    Josselin Feist
  5. L
    Lesly-Ann Daniel
  6. M
    Manh-Dung Nguyen
  7. M
    Mathilde Ollivier
  8. M
    Matthieu Lemerre
  9. O
    Olivier Nicole
  10. R
    Richard Bonichon
  11. R
    Robin David
  12. T
    Ta Thanh Dinh
  13. Y
    Yaëlle Vinçont
  14. G
    Guillaume Girol

Maintainers

  1. B
    BINSEC <binsec@saxifrage.saclay.cea.fr>

Sources

binsec-0.4.1.tbz
sha256=b58b418420d5fd0c54c9ba57e2fa9e2ff4a70f8bc965683ec9ed9731a5a4fd4f
sha512=e934d817dd3f23acb4fc59996a3f34d5c7080b19814f54c2164c36abdc047539637c97f1a222e78b549cd9754ac2a0a4a568ba600dc11548c6b25f3ec33c518e

doc/index.html

binsec

API

Library binsec

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct