Skip to content
Snippets Groups Projects

Frama-C Overview page

Merged Allan Blanchard requested to merge frama-c-overview into master
1 file
+ 2
2
Compare changes
  • Side-by-side
  • Inline
+ 2
2
@@ -20,8 +20,8 @@ title: Frama-C
source-code analysis of C and C++ software. The Frama-C analyzers assist you
in various source-code-related activities, from the navigation through
unfamiliar projects up to the certification of critical software.
<br style="display: inline;">
<span><a href="html/overview.html">Read More</a></span>
<h3><a href="html/overview.html">Read More</a></h3>
<br/>
</p>
<a class="btn cta-download" href="/html/get-frama-c.html"><span>Download <b>Frama-C</b><span><i class=
"icon icon-curly-left"></i><i class="icon icon-download-arrow"></i><i class=
Loading