Added headers

llvm-svn: 53742
This commit is contained in:
Ted Kremenek 2008-07-17 22:41:39 +00:00
parent a79d9a9c79
commit 9976888190
1 changed files with 8 additions and 4 deletions

View File

@ -42,13 +42,17 @@ 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
<h3>Please tell us about False Positives</h3>
<p>If you encounter a false positive, <b>please let us know</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,
<h3>Want more bugs?</h3>
<p>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.>
requests</a>.</p>
<!-- Generated from: http://www.spiffycorners.com/index.php -->
@ -127,7 +131,7 @@ requests</a>.</p.>
<div id="wrappedcontent">
<h2>Download</h2>
<ul>
<li>Mac OS X (Universal binary, 10.5+):
<li>Mac OS X (Intel-only, 10.5+):
<p>
<!--#include virtual="latest_checker.html.incl"-->
</p>