Frama-C
http://dbpedia.org/resource/Frama-C an entity of type: Thing
Frama-C 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) 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.
rdf:langString
rdf:langString
Frama-C
rdf:langString
Frama-C
rdf:langString
Frama-C
xsd:integer
22628771
xsd:integer
1072958470
rdf:langString
Commissariat à l'Énergie Atomique and Inria
rdf:langString
English
rdf:langString
mostly LGPL, some parts under BSD licenses
rdf:langString
Frama-C_logo,_full.png
rdf:langString
Frama-C 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) 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.
xsd:nonNegativeInteger
7085