The Checker Framework enhances Java's type system to make it more powerful and useful. This lets software developers detect and prevent errors in t...
Dernière publication sur nov. 06, 2022checker-qual contains annotations (type qualifiers) that a programmer writes to specify Java code for type-checking by the Checker Framework.
Dernière publication sur nov. 06, 2022checker-qual-android contains annotations (type qualifiers) that a programmer writes to specify Java code for type-checking by the Checker Framewor...
Dernière publication sur nov. 06, 2022checker-util contains utility classes for programmers to use at run time.
Dernière publication sur nov. 06, 2022Dataflow is a dataflow framework based on the javac compiler.
Dernière publication sur nov. 06, 2022dataflow-errorprone is a dataflow framework based on the javac compiler. It differs from the org.checkerframework:dataflow artifact in two ways. F...
Dernière publication sur nov. 06, 2022dataflow-nullaway is a dataflow framework based on the javac compiler. It differs from the org.checkerframework:dataflow artifact in two ways. Fir...
Dernière publication sur nov. 06, 2022dataflow-shaded is a dataflow framework based on the javac compiler. It differs from the org.checkerframework:dataflow artifact in two ways. First...
Dernière publication sur nov. 06, 2022framework-test contains utility classes for testing type-checkers that are built on the Checker Framework.
Dernière publication sur nov. 06, 2022javacutil contains utility classes for the javac compiler.
Dernière publication sur nov. 06, 2022