www/analyzer/dev_cxx.html

   1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
   2           "http://www.w3.org/TR/html4/strict.dtd">
   3 <html>
   4 <head>
   5   <title>Analyzer Development: C++ Support</title>
   6   <link type="text/css" rel="stylesheet" href="menu.css" />
   7   <link type="text/css" rel="stylesheet" href="content.css" />
   8   <script type="text/javascript" src="scripts/menu.js"></script>
   9 </head>
  10 <body>
  11
  12 <div id="page">
  13 <!--#include virtual="menu.html.incl"-->
  14 <div id="content">
  15
  16 <h1>C++ Support</h1>
  17
  18 <p>The Clang frontend
  19 now <a href="http://clang.llvm.org/cxx_status.html">supports the
  20 majority of C++</a>.  Support in the frontend for C++ language
  21 features, however, does not automatically translate into support for
  22 those features in the static analyzer.  Language features need to be
  23 specifically modeled in the static analyzer so their semantics can be
  24 properly analyzed.  Support for analyzing C++ and Objective-C++ files
  25 is currently extremely limited, and we are only encouraging those who
  26 are interested in contributing to the development of the analyzer to
  27 try this functionality out at this time.</p>
  28
  29 <p>Listed here are a set of open tasks that are prerequisites for
  30 decent analysis of C++.  This list is also not complete; new tasks
  31 will be added as deemed necessary.</p>
  32
  33 <ul>
  34   <li>Control-Flow Graph Enhancements:</li>
  35   <ul>
  36     <li>Model C++ destructors</li>
  37     <li>Model C++ initializers (in constructors)</li>
  38   </ul>
  39   <li>Path-Sensitive Analysis Engine (GRExprEngine):</li>
  40   <ul>
  41     <li>Model C++ casts</li>
  42     <li>Model C++ constructors</li>
  43     <li>Model C++ destructors</li>
  44     <li>Model <tt>new</tt> and <tt>delete</tt></li>
  45   </ul>
  46 </ul>
  47
  48 </div>
  49 </div>
  50 </body>
  51 </html>
  52