<h2>Download</h2>
<ul>
<li>Mac OS X (Intel-only, 10.5+):
- <p><b><a href="http://keeda.stanford.edu/~kremenek/checker/checker-37.tar.gz">checker-37.tar.gz</a></b> (built June 16, 2008)</p></li>
+ <p>
+ <!--#include virtual="latest_checker.html.incl"-->
+ </p>
+ </li>
<li><a href="StaticAnalysisUsage.html#OtherUsage">Other Platforms</a> (Building from Source)</li>
</div>
<p>Semi-regular pre-built binaries of the analyzer are available on Mac OS X
(10.5).</p>
-<p>The latest build is: <b><a
-href="http://keeda.stanford.edu/~kremenek/checker/checker-37.tar.gz">checker-37.tar.gz</a></b> (built June 16, 2008)</p>
+<p>The latest build is:
+ <!--#include virtual="latest_checker.html.incl"-->
+</p>
<p><b>Note: This fixes a serious bug in checker-36 where the analyzer would
never be run, thus finding no bugs.</b></p>
--- /dev/null
+<b><a href="http://keeda.stanford.edu/~kremenek/checker/checker-37.tar.gz">checker-37.tar.gz</a></b> (built June 16, 2008)