diff --git a/html/overview.md b/html/overview.md index 68bb2056d37909cfc7ab0b921dd52074baa3081d..faf56d2dd823d3ab346600988d1a106734ba95ee 100644 --- a/html/overview.md +++ b/html/overview.md @@ -8,7 +8,8 @@ video: "https://www.youtube.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 diff --git a/index.html b/index.html index aa98c7d686956c719630748d7e2b016822505334..961c4205f95a0659cefadc37e926a2a6ddfc7363 100755 --- a/index.html +++ b/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>