checker-qual contains annotations (type qualifiers) that a programmer
writes to specify Java code for type-checking by the Checker Framework.
| License | MIT |
|---|---|
| Categories | Defect Detection Metadata |
| Tags | defectanalysismetadata |
| HomePage | https://checkerframework.org |
| Date | Apr 01, 2021 |
| Files | jar (203 KB) View All |
| Repositories | CentralXceptance |
| Ranking | #253 in MvnRepository (See Top Artifacts) #5 in Defect Detection Metadata |
| Used By | 1,826 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 |