[Checkers] Checkers Code Review
mahmood at MIT.EDU
Tue Jun 17 16:45:13 EDT 2008
There is a PDF and a PS of all the source file in ~mali/public_html/
The files include a table of contents and numbering for all the files,
so it would make our browsing through the code easier.
Please note that they include all the files, with a lot of utilities
classes and the declarations of annotations.
- checkers/basetype and checkers/types contain the core classes of the
- each checker (nullness, interning, javari, igj) has its own package.
- I advise against revising checkers.util subpackages (e.g. skel,
debug, dist, test, count).
On Jun 16, 2008, at 1:30 PM, Mahmood Ali wrote:
> Greetings everyone,
> 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