Popular repositories Loading

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

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

   OCaml 191 39

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 35 7

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 28 6

4. github-action-eva-sarif github-action-eva-sarif Public

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

   Shell 10 1

5. SATE-VI SATE-VI Public archive

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

   Shell 9 3

6. Qed Qed Public

   First-Order Logic library with built-in Theories

   OCaml 7 1