dataflow-nullaway is a dataflow framework based on the javac compiler. It differs from the org.checkerframework:dataflow artifact in two ways. First, the packages in this artifact have been renamed to org.checkerframework.nullaway.*. Second, unlike the dataflow artifact, this artifact contains the dependencies it requires.


Licenses
GPL-3.0/libpng-2.0/GPL-2.0-with-classpath-exception

Documentation

The EISOP Checker Framework: pluggable type-checking for Java

Please see the EISOP Checker Framework manual (HTML, PDF).

The history of releases and changes is in file docs/CHANGELOG.md.

Documentation for Checker Framework developers is in directory docs/developer/.