Merge branch 'master' of git.frama-c.com:pub/pub.frama-c.com

html/overview.md

@@ -7,7 +7,8 @@ video: "https://www.youtube-nocookie.com/embed/WBXPDfz2u1c"
 # What is Frama-C?
 
 Frama-C is a suite of tools dedicated to the analysis of the source code of
-software written in C or C++.
+software written in C (or C++, via an
+[experimental front-end](/fc-plugins/frama-clang.html)).
 
 Frama-C gathers several static and dynamic analysis techniques in a single
 collaborative framework. The collaborative approach of Frama-C allows static

index.html

@@ -13,11 +13,11 @@ title: Frama-C
       <div class="pageContent titleIn secure" id="content" role="main">
         <section class="section fullScreen verticalFlex">
           <div class="sectionContent">
-            <h2 class="banner-title">A platform to make your C and C++ code safer and more secure</h2>
+            <h2 class="banner-title">A platform to make your C code safer and more secure</h2>
 
             <p class="banner-desc">
               Frama-C is an open-source extensible and collaborative platform dedicated to
-              source-code analysis of C and C++ software. The Frama-C analyzers assist you
+              source-code analysis of 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.
               <h3><a href="html/overview.html">Read More</a></h3>
@@ -84,7 +84,7 @@ title: Frama-C
                     <div class="sidetext">
                       <div>
                         <p>When invoked with the command-line: </p>
-												<pre>frama-c -eva -slevel 10 first.c</pre>
+			<pre>frama-c -eva -eva-precision 1 first.c</pre>
 												<p>Frama-C
                            creates an analysis project for the file first.c.
                         </p>
@@ -92,7 +92,7 @@ title: Frama-C
 													the Eva plug-in to run and have its results ready
 													before the interface appears.
                         </p>
-                        <p>The <tt>-slevel</tt> option is one of several
+                        <p>The <tt>-eva-precision</tt> option is one of several
 													options that influence the precision of the Eva
 													plug-in. The actions of creating new analysis
 													projects and activating plug-ins can also be done