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

Showing 1 - 4
  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 Benjamin Farinier Chakib Foulani Dorian Lesbre Frédéric Recoules et al.
    0.9.1
    LGPL-2.1-or-later
    Used by 0 other packages
    21 May 2024
  2. frama-c
    Documentation
    Platform dedicated to the analysis of source code written in C
    deductive program verification formal specification automated theorem prover interactive theorem prover C plugins abstract interpretation slicing weakest precondition ACSL dataflow analysis runtime verification
    Michele Alberti Thibaud Antignac Gergö Barany Patrick Baudin Nicolas Bellec et al.
    30.0~beta
    LGPL-2.1-only
    Used by 3 other packages
    12 Nov 2024
  3. frama-c-base

    No documentation

    Platform dedicated to the analysis of source code written in C.
    deductive program verification formal specification automated theorem prover interactive theorem prover C plugins abstract interpretation slicing weakest precondition ACSL dataflow analysis runtime verification
    Michele Alberti Gergö Barany Patrick Baudin François Bobot Richard Bonichon et al.
    15.0
    LGPL-2.1-only
    Used by 2 other packages
    30 Oct 2018
  4. 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.10.0
    LGPL-2.1-only
    Used by 1 other packages
    03 Jun 2024