Lines Matching +full:build +full:- +full:static +full:- +full:rel
1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
5 <title>Clang Static Analyzer</title>
6 <link type="text/css" rel="stylesheet" href="content.css">
7 <link type="text/css" rel="stylesheet" href="menu.css">
9 <!-- Generated from: http://www.spiffycorners.com/index.php -->
17 font-size:.01em;
20 margin-left:3px;
21 margin-right:3px;
22 padding-left:1px;
23 padding-right:1px;
24 border-left:1px solid #f6f8fc;
25 border-right:1px solid #f6f8fc;
28 margin-left:1px;
29 margin-right:1px;
30 padding-right:1px;
31 padding-left:1px;
32 border-left:1px solid #fdfdfe;
33 border-right:1px solid #fdfdfe;
36 margin-left:1px;
37 margin-right:1px;
38 border-left:1px solid #eef2fa;
39 border-right:1px solid #eef2fa;}
41 border-left:1px solid #f6f8fc;
42 border-right:1px solid #f6f8fc}
44 border-left:1px solid #f0f3fb;
45 border-right:1px solid #f0f3fb}
54 #left h2 { margin:1px; padding-top:0px; }
55 #right { float:left; margin-left:20px; margin-right:20px; padding:0px ;}
63 <!--#include virtual="menu.html.incl"-->
67 <table style="margin-top:0px" width="100%" border="0" cellpadding="0px" cellspacing="0">
70 <h1>Clang Static Analyzer</h1>
72 <p>The Clang Static Analyzer is a source code analysis tool that finds bugs in
73 C, C++, and Objective-C programs.</p>
75 <p>Currently it can be run either as a <a href="scan-build.html">standalone
77 invoked from the command line, and is intended to be run in tandem with a build
87 <div style="padding:0px; font-size: 90%">
98 <li>Latest build (10.7+):<br>
99 <!--#include virtual="latest_checker.html.incl"-->
102 <li>This build can be used both from the command line and from within Xcode</li>
103 <li><a href="/installation.html">Installation</a> and <a href="/scan-build.html">usage</a></li>
115 <div style="padding:0; margin-top:10px; font-size: 90%">
139 </td><td style="padding-left:10px">
141 <div style="text-align:center"><b>Viewing static analyzer results in Xcode</b></div>
143 <div style="text-align:center"><b>Viewing static analyzer results in a web browser</b></div>
146 <h2 id="StaticAnalysis">What is Static Analysis?</h2>
148 <p>The term "static analysis" is conflated, but here we use it to mean
152 further and find bugs that are traditionally found using run-time debugging
155 <p>Static analysis bug-finding tools have evolved over the last several decades
157 the semantics of code. The goal of the Clang Static Analyzer is to provide a
158 industrial-quality static analysis framework for analyzing C, C++, and
159 Objective-C programs that is freely available, extensible, and has a high quality of implementation…
163 <p>As its name implies, the Clang Static Analyzer is built on top of <a
166 reusable C++ libraries for building powerful source-level tools. The static
167 analysis engine used by the Clang Static Analyzer is a Clang library, and has
172 <p>While we believe that the static analyzer is already very useful for finding
175 <h3>Work-in-Progress</h3>
177 <p>The analyzer is a continuous work-in-progress. There are many planned
180 limitations to what static analysis can do, we have a long way to go before
185 <p>Operationally, using static analysis to
187 of code. Because of the deep analysis performed by state-of-the-art static
188 analysis tools, static analysis can be much slower than compilation.</p>
190 <p>While the Clang Static Analyzer is being designed to be as fast and
191 light-weight as possible, please do not expect it to be as fast as compiling a
195 <p>The Clang Static Analyzer runs in a reasonable amount of time by both
201 <p>Static analysis is not perfect. It can falsely flag bugs in a program where
204 different checks. Our long-term goal is to have the analyzer have a low false
213 <p>Static analysis is not magic; a static analyzer can only find bugs that it
215 you would like the Clang Static Analyzer to find, please feel free to