<?xml version="1.0" encoding="UTF-8"?>
<component type="desktop">
<id>frama-c-gui.desktop</id>
<metadata_license>CC0-1.0</metadata_license>
<project_license>GPL-2.0+</project_license>
<name>frama-c</name>
<summary>Framework for source code analysis of C software</summary>
<description>
<p>
Frama-C is a suite of tools dedicated to the analysis of the source code of
software written in C.
</p>
<p>
Frama-C gathers several static analysis techniques in a single collaborative
framework. The collaborative approach of Frama-C allows static analyzers to
build upon the results already computed by other analyzers in the framework.
Thanks to this approach, Frama-C provides sophisticated tools, such as a
slicer and dependency analysis.
</p>
</description>
<screenshots>
<screenshot type="default">
<image>http://frama-c.com/media/first.png</image>
<caption>Analysis of first.c</caption>
</screenshot>
<screenshot>
<image>http://frama-c.com/media/first_S.png</image>
<caption>Informational messages for first.c</caption>
</screenshot>
<screenshot>
<image>http://frama-c.com/media/first_effect.png</image>
<caption>Effect of a modification statement</caption>
</screenshot>
<screenshot>
<image>http://frama-c.com/media/first_defs.png</image>
<caption>Show definitions</caption>
</screenshot>
<screenshot>
<image>http://frama-c.com/media/first_impact.png</image>
<caption>Impact analysis</caption>
</screenshot>
</screenshots>
<updatecontact>frama-c-discuss@lists.gforge.inria.fr</updatecontact>
<url type="homepage">http://frama-c.com/</url>
<url type="bugtracker">https://bts.frama-c.com/</url>
</component>