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.0.tbz
sha256=11cf43df7400f2a6483e326491abadd9cb3f1e7f6e3aed70bffd24b992d4486e
sha512=30920df23b5abf97bb0777f0e5a843e7fde9cea3cc99b6e49f198bfdee870776d98a54bc6ead07c40a2efaaa21f4bc902b1dd362a09d755c26adf431ae44d569

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