Checker Qual is the set of annotations (qualifiers) and supporting classes
used by the Checker Framework to type check Java source code. Please
see artifact:
org.checkerframework:checker
| License | MIT |
|---|---|
| Categories | Defect Detection Metadata |
| Tags | qualitydefectcompatibilityanalysismetadatavalidation |
| HomePage | https://checkerframework.org |
| Date | Nov 02, 2023 |
| Files | pom (2 KB) jar (5 KB) View All |
| Repositories | Central |
| Ranking | #845 in MvnRepository (See Top Artifacts) #7 in Defect Detection Metadata |
| Used By | 646 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 | Michael Ernst <mernst@cs.washington.edu> | University of Washington | |
| Werner M. Dietl | wdietl<at>uwaterloo.ca | wmdietl | University of Waterloo | |
| Suzanne Millstein | smillst<at>cs.washington.edu | Suzanne Millstein <smillst@cs.washington.edu> | University of Washington PLSE Group |