Frama-C
Libre Ocaml formal C verifier / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Frama-C?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
Not to be confused with Framasoft.
Frama-C[1] stands for Framework for Modular Analysis of C programs. Frama-C is a set of interoperable program analyzers for C programs. Frama-C has been developed by the French Commissariat à l'Énergie Atomique et aux Énergies Alternatives (CEA-List)[2] and Inria. It has also received funding from the Core Infrastructure Initiative. Frama-C, as a static analyzer, inspects programs without executing them. Despite its name, the software is not related to the French project Framasoft.
Quick Facts Developer(s), Repository ...
Developer(s) | Commissariat à l'Énergie Atomique (CEA-List) and Inria |
---|---|
Repository | |
Written in | OCaml |
Operating system | Microsoft Windows, FreeBSD, OpenBSD, Linux, Mac OS X |
Available in | English |
Type | Formal verification, Static code analysis |
License | mostly LGPL, some parts under BSD licenses |
Website | frama-c |
Close