3 search results for "author:"Charles Babu""

Showing 1 - 3
  1. binsec_codex

    No 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
  2. codex

    No 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
  3. frama_c_codex

    No 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