Skip to content
Change the repository type filter

All

    Repositories list

    • Fork used to update the Frama-C opam package
      Shell
      Creative Commons Zero v1.0 Universal
      1.1k001Updated Nov 7, 2024Nov 7, 2024
    • SCC: Strip C Comments — Snapshots
      Roff
      GNU General Public License v3.0
      7000Updated Jul 15, 2024Jul 15, 2024
    • headache

      Public
      Lightweight tool for managing headers in source code files. It can update in any source code files (OCaml, C, XML et al).
      OCaml
      Other
      72420Updated May 15, 2024May 15, 2024
    • Github Action for running the Eva plug-in and producing a SARIF report
      Shell
      0800Updated Oct 20, 2021Oct 20, 2021
    • Qed

      Public
      First-Order Logic library with built-in Theories
      OCaml
      Other
      1610Updated Apr 9, 2021Apr 9, 2021
    • Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)
      C
      52600Updated Oct 29, 2020Oct 29, 2020
    • Release snapshots of the Frama-C platform for source code analysis
      OCaml
      3816751Updated Oct 21, 2020Oct 21, 2020
    • SATE-VI

      Public archive
      Reproduction of the NIST SATE VI Ockham Track results with Frama-C/Eva (Juliet 1.3)
      Shell
      3800Updated Jul 24, 2020Jul 24, 2020
    • Coding challenges for Le Hack 2019, in Paris
      C
      1100Updated Jul 9, 2019Jul 9, 2019