<b><a href="http://keeda.stanford.edu/~kremenek/checker/checker-54.tar.gz">checker-54.tar.gz</a></b> (built July 2, 2008)