<label>User Manual</label>
<!-- <a href="/design_philosphy.html">Design Philosophy</a> -->
<a href="/installation.html">Obtaining the Analyzer</a>
- <a href="/scan_build.html">Running the Analyzer</tt></a>
+ <a href="/scan-build.html">Running the Analyzer</tt></a>
<a href="/available_checks.html">Available Checks</a>
<!-- <a href="/false_positives.html">False Positives</a> -->
<a href="/annotations.html">Source-level Annotations</a>