2020-frama-c/9100-conclusions-2.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>In conclusion (part 2)</h1>
   6
   7 <ul>
   8 <li> Typed Memory Model turns out to be restrictive.
   9
  10 <li> No support for malloc.
  11
  12 <li> Not good at bitwise ops (can Z3 help?).
  13
  14 <li> Cannot parse some non-standard <code>__attribute__</code>s (glib).
  15
  16 <li> Lacks some <code>__builtin_*</code> functions.
  17 </ul>