Popular repositories

1. Frama-C-snapshot Frama-C-snapshot Public

   Release snapshots of the Frama-C platform for source code analysis

   OCaml 159 37

2. open-source-case-studies open-source-case-studies Public archive

   Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)

   C 26 5

3. headache 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 23 7

4. SATE-VI SATE-VI Public archive

   Reproduction of the NIST SATE VI Ockham Track results with Frama-C/Eva (Juliet 1.3)

   Shell 8 3

5. github-action-eva-sarif github-action-eva-sarif Public

   Github Action for running the Eva plug-in and producing a SARIF report

   Shell 7

6. Qed Qed Public

   First-Order Logic library with built-in Theories

   OCaml 6 1