@Frama-C
Guthub

Frama-C

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    234
  • Global Org. Rank 37,180 (Top 12 %)
  • Registered over 8 years ago
  • Most used languages
    OCaml
         42.9 %
    C
         28.6 %
    Shell
         28.6 %

Top repositories

1

Frama-C-snapshot

Release snapshots of the Frama-C platform for source code analysis
OCaml
167
star
2

open-source-case-studies

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

headache

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

SATE-VI

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

github-action-eva-sarif

Github Action for running the Eva plug-in and producing a SARIF report
Shell
8
star
6

Qed

First-Order Logic library with built-in Theories
OCaml
6
star
7

le-hack-2019

Coding challenges for Le Hack 2019, in Paris
C
1
star