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>
5 <h1>Proving the qemu Range type — summary</h1>
10 Had to remove glib header + one function.
13 You can run Frama-C on the original source file.
16 Might need a few <code>#ifdef</code>s.
19 Could be integrated as part of CI.
22 Doesn't make sense for qemu right now.