Popular repositories Loading

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

   OCaml 187 39

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

   C 33 7

3. Lightweight tool for managing headers in source code files. It can update in any source code files (OCaml, C, XML et al).

   OCaml 26 6

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

   Shell 9 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 8 3

6. Qed Qed Public

   First-Order Logic library with built-in Theories

   OCaml 6 1