8 search results for "author:"Matthieu Lemerre""

Showing 1 - 8
  1. binsec
    Documentation
    Semantic analysis of binary executables
    binary code analysis symbolic execution deductive program verification formal specification automated theorem prover plugins abstract interpretation dataflow analysis linking disassembly
    Adel Djoudi Benoit Boero Benjamin Farinier Chakib Foulani Dorian Lesbre et al.
    0.11.2
    LGPL-2.1-or-later
    Used by 0 other packages
    Added to opam-repository
  2. binsec_codex
    Documentation
    A modular static analyser for machine code program based on abstract interpretation
    Matthieu Lemerre Julien Simonnet Olivier Nicole Paul Robert Dorian Lesbre et al.
    1.0-rc4
    LGPL-2.1-or-later
    Used by 0 other packages
    Added to opam-repository
  3. codex
    Documentation
    The Codex library for building static analysers based on abstract interpretation
    Matthieu Lemerre Julien Simonnet Olivier Nicole Paul Robert Dorian Lesbre et al.
    1.0~rc4
    LGPL-2.1-or-later
    Used by 2 other packages
    Added to opam-repository
  4. cudd
    Documentation
    Minimal cudd bindings
    Matthieu Lemerre <matthieu.lemerre@cea.fr> Paul Robert <paul.robert@cea.fr>
    0.1.3
    LGPL-2.1-only
    Used by 1 other packages
    Added to opam-repository
  5. frama-c
    Documentation
    Platform dedicated to the analysis of source code written in C
    ACSL C abstract interpretation code transformation dataflow analysis deductive verification formal specification program verification runtime annotation checking static analysis
    Michele Alberti Thibaud Antignac Gergö Barany Patrick Baudin Nicolas Bellec et al.
    33.0
    LGPL-2.1-only
    Used by 1 other packages
    Added to opam-repository
  6. frama_c_codex
    Documentation
    A modular static analyser of C programs, based on abstract interpretation. The package contains both a standalone frama_c_codex executable, as well as a Frama-C plugin
    Matthieu Lemerre Julien Simonnet Olivier Nicole Paul Robert Dorian Lesbre et al.
    1.0-rc4
    LGPL-2.1-or-later
    Used by 0 other packages
    Added to opam-repository
  7. patricia-tree
    Documentation
    Patricia Tree data structure in OCaml for maps and sets. Supports generic key-value pairs
    Matthieu Lemerre <matthieu.lemerre@cea.fr> Dorian Lesbre <dorian.lesbre@cea.fr>
    0.14.0
    LGPL-2.1-only
    Used by 6 other packages
    Added to opam-repository
  8. union-find-lattice
    Documentation
    Persistent union-find data-structures with lattice operations (order, meet, join)
    union-find persistent lattice join meet
    Dorian Lesbre <dorian.lesbre@cea.fr> Matthieu Lemerre <matthieu.lemerre@cea.fr>
    0.1.0
    lgpl-2.1-or-later
    Used by 0 other packages
    Added to opam-repository