2020-frama-c/3000-frama-c.html

   1 <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
   2 <link rel="stylesheet" href="style.css" type="text/css"/>
   3 <script src="code.js" type="text/javascript"></script>
   4
   5 <h1>Frama-C</h1>
   6
   7 <p>
   8 Frama-C &mdash; Framework for Static Analysis of the C language
   9 </p>
  10
  11 <h2>Core</h2>
  12
  13 <p>
  14 C source code &rarr; Abstract Syntax Tree
  15 </p>
  16
  17 <h2>Plugins</h2>
  18
  19 <p>
  20 Annotate syntax trees with static analysis.
  21 </p>