[cfe-commits] r95573 - in /cfe/trunk/www/analyzer: dev_cxx.html menu.html.incl

Mon Feb 8 13:36:48 PST 2010

Author: kremenek
Date: Mon Feb  8 15:36:47 2010
New Revision: 95573

URL: http://llvm.org/viewvc/llvm-project?rev=95573&view=rev
Log:
Add link to the current status of analysis support for C++.

Added:
    cfe/trunk/www/analyzer/dev_cxx.html
Modified:
    cfe/trunk/www/analyzer/menu.html.incl

Added: cfe/trunk/www/analyzer/dev_cxx.html
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/www/analyzer/dev_cxx.html?rev=95573&view=auto

==============================================================================

--- cfe/trunk/www/analyzer/dev_cxx.html (added)
+++ cfe/trunk/www/analyzer/dev_cxx.html Mon Feb  8 15:36:47 2010
@@ -0,0 +1,50 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
+          "http://www.w3.org/TR/html4/strict.dtd">
+<html>
+<head>
+  <title>Analyzer Development: C++ Support</title>
+  <link type="text/css" rel="stylesheet" href="menu.css" />
+  <link type="text/css" rel="stylesheet" href="content.css" />
+</head>
+<body>
+
+<!--#include virtual="menu.html.incl"-->
+
+<div id="content">
+
+<h1>C++ Support</h1>
+
+<p>The Clang frontend
+now <a href="http://clang.llvm.org/cxx_status.html">supports the
+majority of C++</a>.  Support in the frontend for C++ language
+features, however, does not automatically translate into support for
+those features in the static analyzer.  Language features need to be
+specifically modeled in the static analyzer so their semantics can be
+properly analyzed.  Support for analyzing C++ and Objective-C++ files
+is currently extremely limited, and we are only encouraging those who
+are interested in contributing to the development of the analyzer to
+try this functionality out at this time.</p>
+
+<p>Listed here are a set of open tasks that are prerequisites for
+decent analysis of C++.  This list is also not complete; new tasks
+will be added as deemed necessary.</p>
+
+<ul>
+  <li>Control-Flow Graph Enhancements:</li>
+  <ul>
+    <li>Model C++ destructors</li>
+    <li>Model C++ initializers (in constructors)</li>
+  </ul>
+  <li>Path-Sensitive Analysis Engine (GRExprEngine):</li>
+  <ul>
+    <li>Model C++ casts</li>
+    <li>Model C++ constructors</li>
+    <li>Model C++ destructors</li>
+    <li>Model <tt>new</tt> and <tt>delete</tt></li>
+  </ul>
+</ul>
+
+</div>
+</body>
+</html>
+

Modified: cfe/trunk/www/analyzer/menu.html.incl
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/www/analyzer/menu.html.incl?rev=95573&r1=95572&r2=95573&view=diff

==============================================================================
--- cfe/trunk/www/analyzer/menu.html.incl (original)
+++ cfe/trunk/www/analyzer/menu.html.incl Mon Feb  8 15:36:47 2010
@@ -24,6 +24,11 @@
 <!--      <a href="/false_positives.html">False Positives</a> -->
       <a href="/annotations.html">Source-level Annotations</a>
   </div>
+  
+  <div class="submenu">
+    <label>Development</label>
+      <a href="/dev_cxx.html">Analysis support for C++</a>
+  </div>
 
   <div class="submenu">
     <label>Clang Mailing Lists</label>



