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/.
dataflow-shaded 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.shaded.*. Second, unlike the dataflow artifact, this artifact contains the dependencies it requires.
Homepage Repository Maven Java Download
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/.