4 search results for "author:"Guillaume Girol""

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.11.0
    LGPL-2.1-or-later
    Used by 0 other packages
    18 Jan 2026
  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
    05 Feb 2026
  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
    05 Feb 2026
  4. 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
    05 Feb 2026