[Checkers] Checkers Code Review
mahmood at MIT.EDU
Mon Jun 16 13:30:01 EDT 2008
For the code review to be scheduled on June 23rd. The checkers code
for the code review is available now in ~mali/public_html/checkers-
code-review. It directory contains two files:
manual.pdf - the manual for Checkers Framework, and section 9 'How to
create a new checker plug-in' would be the most relevant section for
the code review.
checkers.zip - a zip of all the files, the source files are in
checkers/src when unzipped.
Please review any files you can review any subset you like (with
emphasis on checkers.basetype, .types -- the core of the framework).
More information about the checkers