Blob Blame Raw
<?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>