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.
| License | GPL |
|---|---|
| HomePage | https://checkerframework.org/ |
| Date | Nov 01, 2024 |
| Files | pom (2 KB) jar (5.0 MB) View All |
| Repositories | Central |
| Ranking | #194338 in MvnRepository (See Top Artifacts) |
| Used By | 2 artifacts |
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 | 3.48.2 | 3.48.3 |
Licenses
| License | URL |
|---|---|
| GNU General Public License, version 2 (GPL2), with the classpath exception | http://www.gnu.org/software/classpath/license.html |
Developers
| Name | Dev Id | Roles | Organization | |
|---|---|---|---|---|
| Michael Ernst | mernst<at>cs.washington.edu | mernst | University of Washington | |
| Suzanne Millstein | smillst<at>cs.washington.edu | smillst | University of Washington |