2020-frama-c/2900-range-summary.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>Proving the qemu Range type &mdash; summary</h1>
   6
   7 <ul>
   8
   9 <li>
  10 Had to remove glib header + one function.
  11
  12 <li>
  13 You can run Frama-C on the original source file.
  14
  15 <li>
  16 Might need a few <code>#ifdef</code>s.
  17
  18 <li>
  19 Could be integrated as part of CI.
  20
  21 <li>
  22 Doesn't make sense for qemu right now.
  23
  24 </ul>