blob: 4424a9a8b5be4e91949347234d5e975e2b6e3d6e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
<!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">
<script type="text/javascript" src="scripts/menu.js"></script>
</head>
<body>
<div id="page">
<!--#include virtual="menu.html.incl"-->
<div id="content">
<h1>C++ Support</h1>
<p>The Clang compiler <a
href="http://clang.llvm.org/cxx_status.html">supports almost all of C++11</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 fairly basic.</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:
<ul>
<li>Model destructors for temporary objects</li>
<li>Model the implicit allocator call to <tt>operator new</tt></li>
</ul>
</li>
<li>Path-Sensitive Analysis Engine (ExprEngine):
<ul>
<li>Allow constructors to be inlined</li>
<li>Allow destructors to be inlined</li>
<li>Fully model <tt>new</tt> and <tt>delete</tt></li>
<li>Track type info through casts more precisely</li>
</ul>
</li>
<li>Checkers:
<ul>
<li>Check that <tt>new</tt> and <tt>delete</tt> are correctly paired</li>
<li>For more ideas, see the <a href="potential_checkers.html">list of potential checkers</a></li>
</ul>
</li>
</ul>
</div>
</div>
</body>
</html>
|
