replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

More information on filing bug reports. 

llvm-svn: 53373
This commit is contained in:
Ted Kremenek 2008-07-09 22:20:56 +00:00
parent db4504fa57
commit a3f878dcab
2 changed files with 14 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
clang/www/StaticAnalysis.html
View File

@ -27,12 +27,6 @@ analyzer:</p>
enhancements to improve both the precision and scope of its analysis algorithms
as well as the kinds bugs it will find.</li>
<li><b>False positives.</b> Static analysis is not perfect. It can falsely flag
bugs in a program where the code behaves correctly. Because some code checks
require more analysis precision than others, the frequency of false positives
can vary widely between different checks. Our eventual goal is to have the
analyzer have a low false positive rate for most code on all checks.</li>
<li><b>Static analysis can be much slower than compilation.</b> While the
analyzer is being designed to be as fast and light-weight as possible, please do
not expect it to be as fast as compiling a program (even with optimizations
@ -41,8 +35,20 @@ exponential time. The analyzer runs in a reasonable amount of time by both
bounding the amount of checking work it will do as well as using clever
algorithms to reduce the amount of work it must do to find bugs.</li>
<li><b>False positives.</b> Static analysis is not perfect. It can falsely flag
bugs in a program where the code behaves correctly. Because some code checks
require more analysis precision than others, the frequency of false positives
can vary widely between different checks. Our eventual goal is to have the
analyzer have a low false positive rate for most code on all checks.</li>
</ul>
<p>If you encounter a false positive, <b>please let us know about it</b> by <a
href="StaticAnalysisUsage.html#filingbugs">filing a bug report</a>. False
positives cannot be addressed unless we know about them.</p>
<p>Further, if there are specific kinds of bugs you would like the tool to find,
please feel free to file <a href="StaticAnalysisUsage.html#filingbugs">feature
requests</a>.</p.>
<!-- Generated from: http://www.spiffycorners.com/index.php -->

3
clang/www/StaticAnalysisUsage.html
View File

@ -288,7 +288,8 @@ revision number.</li>
<h3>Outside Apple</h3>
<p>Please <a href="http://llvm.org/bugs/enter_bug.cgi?product=clang">file
bugs</a> (against Clang) in LLVM's Bugzilla database.</p>
bugs</a> in LLVM's Bugzilla database against the Clang <b>Static Analyzer</b>
component.</p>
<h3>Apple-internal Users</h3>