Group: Checker Framework

Sort by:Popular▼

✓Popular✓Newest

The Checker Framework enhances Java's type system to make it more powerful and useful. This lets software developers detect and prevent errors in their Java programs.

Dataflow is a dataflow framework based on the javac compiler.

dataflow-errorprone is a dataflow framework based on the javac compiler. It differs from the org.checkerframework:dataflow artifact in two ways.

javacutil contains utility classes for the javac compiler.

dataflow-shaded is a dataflow framework based on the javac compiler. It differs from the org.checkerframework:dataflow artifact in two ways.

dataflow-nullaway is a dataflow framework based on the javac compiler. It differs from the org.checkerframework:dataflow artifact in two ways.

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

Annotated JDK 8 consists of Checker Framework annotations for the Open JDK Java 8 API. Method implementations in this file are empty.

Checker Qual is the set of annotations (qualifiers) and supporting classes used by the Checker Framework to type check Java source code. Please see artifact: org.checkerframework:checker

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

Annotated JDK 7 consists of bytecode implementing the Open JDK Java 7 api annotated with Checker Framework annotations. Method implementations in this file are empty.

Apache Commons Bytecode Engineering Library, with type annotations

The Checker Framework Maven Plugin allows you to easily run the Checker Framework in your Maven build. Directions can be found at: ...