Frama-C
Results
3
repositories owned by
Frama-C
Frama-C-snapshot
161
Stars
38
Forks
Watchers
Release snapshots of the Frama-C platform for source code analysis
headache
23
Stars
7
Forks
Watchers
Lightweight tool for managing headers in source code files. It can update in any source code files (OCaml, C, XML et al).
open-source-case-studies
26
Stars
5
Forks
Watchers
Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)