diff options
| -rw-r--r-- | www/StaticAnalysis.html | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/www/StaticAnalysis.html b/www/StaticAnalysis.html index be76eeff0e..eea51d5f70 100644 --- a/www/StaticAnalysis.html +++ b/www/StaticAnalysis.html @@ -100,7 +100,10 @@ other special installation is needed.</p> (10.5).</p> <p>The latest build is: <b><a -href="http://keeda.stanford.edu/~kremenek/checker/checker-36.tar.gz">checker-36.tar.gz</a></b> (built June 11, 2008)</p> +href="http://keeda.stanford.edu/~kremenek/checker/checker-37.tar.gz">checker-37.tar.gz</a></b> (built June 16, 2008)</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> Packaged builds for other platforms may eventually be provided, but as the tool is in its early stages we are not actively promoting releases yet. If you wish |