<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>

   Frama-C is a suite of tools dedicated to the analysis of the source code of

   software written in C.

   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.

 </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>