[Checkers] Checkers Code Review

Mahmood Ali mahmood at MIT.EDU
Thu Jun 19 23:39:01 EDT 2008

Hi everyone,

I updated the files in the same old location (~/mali/public_html/ 
checkers-code-review) to the latest checker code.

- Mahmood

On Jun 17, 2008, at 4:45 PM, Mahmood Ali wrote:

> Greetings,
> There is a PDF and a PS of all the source file in ~mali/public_html/ 
> checkers-code-review.
> 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 framework;
> - each checker (nullness, interning, javari, igj) has its own package.
> - I advise against revising checkers.util subpackages (e.g. skel,  
> debug, dist, test, count).
> Regards,
> - Mahmood

More information about the checkers mailing list