[cfe-commits] r53373 - in /cfe/trunk/www: StaticAnalysis.html StaticAnalysisUsage.html

[Ted Kremenek]

Author: kremenek
Date: Wed Jul  9 17:20:56 2008
New Revision: 53373

URL: http://llvm.org/viewvc/llvm-project?rev=53373&view=rev
Log:
More information on filing bug reports.

Modified:
    cfe/trunk/www/StaticAnalysis.html
    cfe/trunk/www/StaticAnalysisUsage.html

Modified: cfe/trunk/www/StaticAnalysis.html
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/www/StaticAnalysis.html?rev=53373&r1=53372&r2=53373&view=diff

==============================================================================
--- cfe/trunk/www/StaticAnalysis.html (original)
+++ cfe/trunk/www/StaticAnalysis.html Wed Jul  9 17:20:56 2008
@@ -27,12 +27,6 @@
 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 @@
 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 -->
 

Modified: cfe/trunk/www/StaticAnalysisUsage.html
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/www/StaticAnalysisUsage.html?rev=53373&r1=53372&r2=53373&view=diff

==============================================================================
--- cfe/trunk/www/StaticAnalysisUsage.html (original)
+++ cfe/trunk/www/StaticAnalysisUsage.html Wed Jul  9 17:20:56 2008
@@ -288,7 +288,8 @@
 <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>