From 222e2a7620e6520ffaf4fc4e69d79c18da31542e Mon Sep 17 00:00:00 2001 From: "Zancanaro; Carlo" Date: Mon, 24 Sep 2012 09:58:17 +1000 Subject: Add the clang library to the repo (with some of my changes, too). --- clang/www/analyzer/dev_cxx.html | 54 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 54 insertions(+) create mode 100644 clang/www/analyzer/dev_cxx.html (limited to 'clang/www/analyzer/dev_cxx.html') diff --git a/clang/www/analyzer/dev_cxx.html b/clang/www/analyzer/dev_cxx.html new file mode 100644 index 0000000..39dbf7b --- /dev/null +++ b/clang/www/analyzer/dev_cxx.html @@ -0,0 +1,54 @@ + + + + Analyzer Development: C++ Support + + + + + + +
+ +
+ +

C++ Support

+ +

The Clang frontend +now supports the +majority of C++. 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.

+ +

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.

+ +
    +
  • Control-Flow Graph Enhancements: +
      +
    • Model C++ destructors
      • +
    • Model C++ initializers (in constructors)
      • +
    +
    • +
  • Path-Sensitive Analysis Engine (GRExprEngine): +
      +
    • Model C++ casts
      • +
    • Model C++ constructors
      • +
    • Model C++ destructors
      • +
    • Model new and delete
      • +
    +
    • +
+ +
+
+ + + -- cgit v1.2.3