<?xml version="1.0" encoding="UTF-8"?>
<application>
 <id type="desktop">frama-c-gui.desktop</id>
 <licence>CC0</licence>
 <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">http://frama-c.com/media/first.png</screenshot>
  <screenshot>http://frama-c.com/media/first_S.png</screenshot>
  <screenshot>http://frama-c.com/media/first_effect.png</screenshot>
  <screenshot>http://frama-c.com/media/first_defs.png</screenshot>
  <screenshot>http://frama-c.com/media/first_impact.png</screenshot>
 </screenshots>
 <url type="homepage">http://frama-c.com/</url>
 <!-- FIXME: change this to an upstream email address for spec updates
         <updatecontact>someone_who_cares@upstream_project.org</updatecontact>
  -->
</application>