package binsec

  1. Overview
  2. Docs
Semantic analysis of binary executables

Install

Dune 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.5.0.tbz
sha256=9aa038f6e45339109bdc3fbe3e87522a412cc2f4b32422c85f541b3bbd596f1e
sha512=95d241d85bb9b25d9d7145430484c3aa9c0401abbced672046753c56c46c8debbf643a1587dd3a3dd59b126c1fc91a02517be04009488aa3e1867d14f73a458c

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