dataflow-errorprone 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.errorprone.*.
Second, unlike the dataflow artifact, this artifact contains the dependencies it requires.
Compile Dependencies (0)
| Category/License | Group / Artifact | Version | Updates |
|---|
Runtime Dependencies (1)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
Defect Detection
MIT
| | org.checkerframework
»
checker-qual checker-qual contains annotations (type qualifiers) that a programmerwrites to specify Java code for type-checking by ... | 3.49.2 | 4.1.0 |
