/usr/share/doc/kde/HTML/en/kubuntu/development/frama-c.html is in kubuntu-docs 12.04.0ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 | <html><head><title>Frame-C - Framework for source code analysis of software</title><link rel="stylesheet" type="text/css" href="help:/common/kde-default.css"><link rel="stylesheet" type="text/css" href="help:/common/kde-docs.css"><link rel="stylesheet" type="text/css" href="help:/common/kde-localised.css"><link rel="stylesheet" type="text/css" href="help:/common/kubuntu.css"><meta name="generator" content="DocBook XSL Stylesheets V1.76.1"><link rel="home" href="index.html" title="Software Development Tools residing in the Kubuntu Repository"><link rel="up" href="index.html" title="Software Development Tools residing in the Kubuntu Repository"><link rel="prev" href="fluid.html" title="FLUID - FLTK GUI Designer"><link rel="next" href="gazpacho.html" title="Gazpacho Interface Designer"><link rel="copyright" href="legal.html" title="Credits and License"><meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><meta name="GENERATOR" content="KDE XSL Stylesheet V1.14 using libxslt"></head><body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF"><div id="content"><div id="header"><div id="header_content"><div id="header_left"><div id="header_right"><img src="help:/common/top-kde.jpg" width="36" height="34"> Frame-C - Framework for source code analysis of software</div></div></div></div><div class="navCenter"><table class="navigation"><tr><td class="prevCell"><a accesskey="p" href="fluid.html">Prev</a></td><td class="upCell"> </td><td class="nextCell"><a accesskey="n" href="gazpacho.html">Next</a></td></tr></table></div><div id="contentBody"><div class="sect1"><div class="titlepage"><div><div><h2 class="title" style="clear: both"><a name="frama-c"></a>Frame-C - Framework for source code analysis of software</h2></div></div></div><p>
Home Page:
<a class="ulink" href="http://frama-c.com/index.html" target="_top">http://frama-c.com/index.html</a>
</p><p>
Available under the <span class="trademark">LGPL</span>™,
<span class="application">Frama-C</span> is a suite of tools dedicated to the
analysis of the source code of software written in C. As such, it would be well
suited for applications written in <span class="trademark">GTK+</span>™ for
<span class="trademark">GNOME</span>™. <span class="application">Frama-C</span> gathers
several static analysis techniques in a single collaborative framework. The
collaborative approach of <span class="application">Frama-C</span> allows static
analyzers to build upon the results already computed by other analyzers in the
framework. Thanks to this approach, <span class="application">Frama-C</span> provides
sophisticated tools, such as a slicer and dependency analysis. There are
currently eleven plugins available on the <span class="application">Frama-C</span>
web site.
</p></div></div><div id="footer"><div class="navCenter"><table class="navigation"><tr><td class="prevCell"><a accesskey="p" href="fluid.html">Prev</a></td><td class="upCell"><a accesskey="h" href="index.html">Home</a></td><td class="nextCell"><a accesskey="n" href="gazpacho.html">Next</a></td></tr><tr><td class="prevCell">FLUID - FLTK <acronym class="acronym">GUI</acronym> Designer </td><td class="upCell"> </td><td class="nextCell"> Gazpacho Interface Designer</td></tr></table></div><div id="footer_text"><br><a href="mailto:ubuntu-docs@lists.ubuntu.com" class="footer_email">
Ubuntu Documentation Project
</a></div></div></div></body></html>
|