</head>
<body>
+<div id="page">
<!--#include virtual="menu.html.incl"-->
<div id="content">
void my_assert_rtn(const char *, const char *, int, const char *) <span class="code_highlight">CLANG_ANALYZER_NORETURN</span>;
</pre>
+</div>
</div>
</body>
</html>
</head>
<body>
+<div id="page">
<!--#include virtual="menu.html.incl"-->
<div id="content">
</ul>
+</div>
</div>
</body>
</html>
html, body {
padding:0px;
+ margin:0px;
font-size:small; font-family:"Lucida Grande", "Lucida Sans Unicode", Arial, Verdana, Helvetica, sans-serif; background-color: #fff; color: #222;
line-height:1.5;
+ background-color: #808080;
+
}
h1, h2, h3, tt { color: #000 }
margin-right: auto
}
+#page { width:820px; text-align: left; margin: 0 auto; padding:0;
+ background-color: white; height:100%;
+ border-left: 1px solid #EBF0FA;
+}
+
+#content {
+ clear: left;
+ padding: 1em 2em 0 2em;
+ background-color: #ffffff;
+}
+
.itemTitle { color:#2d58b7 }
+
/* Tables */
tr { vertical-align:top }
</head>
<body>
+<div id="page">
<!--#include virtual="menu.html.incl"-->
-
<div id="content">
<h1>C++ Support</h1>
</ul>
</ul>
+</div>
</div>
</body>
</html>
</head>
<body>
+<div id="page">
<!--#include virtual="menu.html.incl"-->
-
<div id="content">
<h1>Filing Bugs and Feature Requests</h1>
<h2>Apple-internal Users</h2>
<p>Please file bugs in Radar against the <b>llvm - checker</b> component.</p>
-
-
+</div>
</div>
</body>
</html>
</head>
<body>
+<div id="page">
<!--#include virtual="menu.html.incl"-->
<div id="content">
-<table style="margin-top:0px" border="0" cellpadding="0" cellspacing="0">
-<tr><td>
+
<h1>Clang Static Analyzer</h1>
+
+<table style="margin-top:0px" width="100%" border="0" cellpadding="0px" cellspacing="0">
+<tr><td>
<p>The Clang Static Analyzer consists of both a source code analysis framework
-and a standalone tool that finds bugs in C and Objective-C programs. The
+and a standalone tool that finds bugs in C and Objective-C programs.</p>
+
+<p>The
standalone tool is invoked from the command-line, and is intended to run in
tandem with a build of a project or code base.</p>
#wrappedcontent { padding:15px;}
</style>
-<div style="margin-left:25px; margin-right:25px; padding:0px; font-size: 80%">
+<div style="padding:0px; font-size: 90%">
<b class="spiffy">
<b class="spiffy1"><b></b></b>
<b class="spiffy2"><b></b></b>
<b class="spiffy1"><b></b></b></b>
</div>
+</td><td style="padding-left:10px">
+<a href="images/analyzer_xcode.png"><img src="images/analyzer_xcode.png" width="450x"></a>
+<center><b>Viewing static analyzer results in Xcode 3.2</b></center>
+<a href="images/analyzer_html.png"><img src="images/analyzer_html.png" width="450px"></a>
+<center><b>Viewing static analyzer results in a web browser</b></center>
+</td></tr></table>
+
<h2 id="StaticAnalysis">What is Static Analysis?</h2>
<p>The term "static analysis" is conflated, but here we use it to mean
programs that is freely available, extensible, and has a high quality of
implementation.</p>
-
-
-
-</td><td>
-<a href="images/analyzer_xcode.png"><img src="images/analyzer_xcode.png" width="450x"></a>
-<center><b>Viewing static analyzer results in Xcode 3.2</b></center>
-<a href="images/analyzer_html.png"><img src="images/analyzer_html.png" width="450px"></a>
-<center><b>Viewing static analyzer results in a web browser</b></center>
-</td></tr></table>
-
<h3 id="Clang">Part of Clang and LLVM</h3>
<p>As its name implies, the Clang Static Analyzer is built on top of <a
file <a href="filing_bugs.html">feature requests</a> or contribute your own
patches.</p>
+</div>
</div>
</body>
</html>
</head>
<body>
+<div id="page">
<!--#include virtual="menu.html.incl"-->
-
<div id="content">
<h1>Obtaining the Static Analyzer</h1>
are subject to change.</p></li>
</ul>
-
+</div>
</div>
</body>
</html>
/* From 'A list apart', 'dropdowns' */
-body {
- background-color: #EBF0FA;
-}
+
#nav {
+ clear: left;
+ margin:0;
+ padding:0;
font-weight: bold;
- color: #2d58b7;
+ width:100%;
+ background-color: #EBF0FA;
+ border-bottom: 1px solid;
+ font-size: 80%;
}
#nav a {
text-decoration: none;
#nav a:hover {
text-decoration: underline;
}
-.menubar {
- font-size: 80%;
-}
.menubar ul {
- padding: 0;
- margin: 0;
- list-style: none;
+ list-style: none inside;
}
.menubar li {
+ margin: 0;
+ padding: 5px;
text-align: center;
- padding: 5px;
- list-style: none;
+ text-indent: 0px;
+ list-style-position: inside;
+ list-style:none;
float: left;
position: relative;
- width: 11em;
+ width: 13em;
cursor: default;
background-color: #EBF0FA;
}
.menubar li ul /* second level lists */ {
display: none;
position: absolute;
- top: 1em;
left: 0;
}
.menubar li>ul {
+ border-left: 1px solid;
+ border-right: 1px solid;
+ border-bottom: 1px solid;
padding: 0;
- margin: 0;
- top:auto;
+ margin: 5px 0;
left:auto;
font-weight: normal;
}
.menubar li:hover ul, li.over ul { /* lists nested under hovered list items */
display: block;
}
-#content {
- clear: left;
- padding-top: 10px;
- background-color: #ffffff;
-}
+
-<div id="nav">
+<table width="100%" id="nav" cellspacing=0 cellpadding=0>
+<tr><td>
+<ul style="margin:0; padding:0" class="menubar">
+<li>
+ <a href="/index.html">About</a>
<ul class="menubar">
- <li>
- <a href="/index.html">About</a>
- <ul>
- <li><a href="/index.html">About the Analyzer</a></li>
- <li><a href="http://llvm.org/">LLVM Project</a></li>
- <li><a href="http://clang.llvm.org/">Clang Project</a></li>
- </ul>
- </li>
- <li>
- <a href="/filing_bugs.html">Filing Bugs</a>
- </li>
- <li>
- User Manual
- <ul>
- <li><a href="/installation.html">Obtaining the Analyzer</a></li>
- <li><a href="/scan-build.html">Running the Analyzer</tt></a></li>
- <li><a href="/available_checks.html">Available Checks</a></li>
- <li><a href="/annotations.html">Source-level Annotations</a></li>
- </ul>
- </li>
- <li>
- Development
- <ul>
- <li><a href="/dev_cxx.html">Analysis support for C++</a></li>
- </ul>
- </li>
- <li>
- Mailing Lists
- <ul>
- <li><a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev">cfe-dev</a></li>
- <li><a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits">cfe-commits</a></li>
- </ul>
- </li>
+ <li><a href="/index.html">About the Analyzer</a></li>
+ <li><a href="http://llvm.org/">LLVM Project</a></li>
+ <li><a href="http://clang.llvm.org/">Clang Project</a></li>
</ul>
-</div>
+</li>
+<li>
+ <a href="/filing_bugs.html">Filing Bugs</a>
+</li>
+<li>
+ User Manual
+ <ul>
+ <li><a href="/installation.html">Obtaining the Analyzer</a></li>
+ <li><a href="/scan-build.html">Running the Analyzer</tt></a></li>
+ <li><a href="/available_checks.html">Available Checks</a></li>
+ <li><a href="/annotations.html">Source-level Annotations</a></li>
+ </ul>
+</li>
+<li>
+ Development
+ <ul>
+ <li><a href="/dev_cxx.html">Analysis support for C++</a></li>
+ </ul>
+</li>
+<li>
+ Mailing Lists
+ <ul>
+ <li><a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev">cfe-dev</a></li>
+ <li><a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits">cfe-commits</a></li>
+ </ul>
+</li>
+</ul>
+</td></tr>
+</table>
</head>
<body>
+<div id="page">
<!--#include virtual="menu.html.incl"-->
-
<div id="content">
<h1>Running the Analyzer</h1>
report bugs of this kind).
-->
+</div>
</div>
</body>
</html>
projects / clang / commitdiff