javacutil contains utility classes for the javac compiler.

Static analysis tool for Java that catches common programming mistakes at compile-time

A fast annotation-based null checker for Java

Dataflow is a dataflow framework based on the javac compiler.

Testlib is a collection of utility classes for testing checkers that use the Checker Framework.

framework-test contains utility classes for testing type-checkersthat are built on the Checker Framework.

Dataflow is a dataflow framework based on the javac compiler.

framework-test contains utility classes for testing type-checkersthat are built on the Checker Framework.