checker-qual contains annotations (type qualifiers) that a programmerwrites to specify Java code for type-checking by the Checker Framework.
License | MIT |
---|---|
Categories | Defect Detection Metadata |
Tags | qualitydefectanalysismetadatavalidation |
HomePage | https://checkerframework.org/ |
Date | Oct 02, 2024 |
Files | pom (2 KB) jar (233 KB) View All |
Repositories | Central |
Ranking | #239 in MvnRepository (See Top Artifacts) #4 in Defect Detection Metadata |
Used By | 2,252 artifacts |
Compile Dependencies (0)
Category/License | Group / Artifact | Version | Updates |
---|
Licenses
License | URL |
---|---|
The MIT License | http://opensource.org/licenses/MIT |
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 |