<b><a href="http://keeda.stanford.edu/~kremenek/checker/checker-101.tar.bz2">checker-101.tar.bz2</a></b> (built September 28, 2008)