Frama-C

Frama-C Software Analyzers

Pinned Repositories

Frama-C-snapshot
Release snapshots of the Frama-C platform for source code analysis
Language:OCaml167 16 3938
github-action-eva-sarif
Github Action for running the Eva plug-in and producing a SARIF report
Language:Shell8 8 00
headache
Lightweight tool for managing headers in source code files. It can update in any source code files (OCaml, C, XML et al).
Language:OCaml25 9 27
le-hack-2019
Coding challenges for Le Hack 2019, in Paris
Language:C1 2 11
opam-repository
Fork used to update the Frama-C opam package
Language:Shell0 0 00
open-source-case-studies
Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)
Language:C26 10 35
Qed
First-Order Logic library with built-in Theories
Language:OCaml6 7 31
SATE-VI
Reproduction of the NIST SATE VI Ockham Track results with Frama-C/Eva (Juliet 1.3)
Language:Shell8 9 03
scc-snapshots
SCC: Strip C Comments — Snapshots
Language:Roff0 0 00

Frama-C/Frama-C-snapshot
Release snapshots of the Frama-C platform for source code analysis
Language:OCaml167 16 3938
Frama-C/open-source-case-studies
Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)
Language:C26 10 35
Frama-C/headache
Lightweight tool for managing headers in source code files. It can update in any source code files (OCaml, C, XML et al).
Language:OCaml25 9 27
Frama-C/github-action-eva-sarif
Github Action for running the Eva plug-in and producing a SARIF report
Language:Shell8 8 00
Frama-C/SATE-VI
Reproduction of the NIST SATE VI Ockham Track results with Frama-C/Eva (Juliet 1.3)
Language:Shell8 9 03
Frama-C/Qed
First-Order Logic library with built-in Theories
Language:OCaml6 7 31
Frama-C/le-hack-2019
Coding challenges for Le Hack 2019, in Paris
Language:C1 2 11
Frama-C/opam-repository
Fork used to update the Frama-C opam package
Language:Shell0 0 00
Frama-C/scc-snapshots
SCC: Strip C Comments — Snapshots
Language:Roff0 0 00