checker-qual contains annotations (type qualifiers) that a programmer
writes to specify Java code for type-checking by the Checker Framework.
| License | GPLMIT |
|---|---|
| Categories | Defect Detection Metadata |
| Tags | qualitydefectanalysismetadatavalidation |
| HomePage | http://checkerframework.org |
| Date | Feb 02, 2016 |
| Files | pom (4 KB) jar (168 KB) View All |
| Repositories | Central |
| Ranking | #244 in MvnRepository (See Top Artifacts) #5 in Defect Detection Metadata |
| Used By | 2,041 artifacts |
Compile Dependencies (0)
| Category/License | Group / Artifact | Version | Updates |
|---|
Licenses
| License | URL |
|---|---|
| GNU General Public License, version 2 (GPL2), with the classpath exception | http://www.gnu.org/software/classpath/license.html |
| 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 | |
| David McArthur | mcarthur<at>cs.washington.edu | David McArthur <mcarthur@cs.washington.edu< | University of Washington PLSE Group | |
| David McArthur | jthaine<at>cs.washington.edu | Javier Thaine <jthaine@cs.washington.edu< | University of Washington PLSE Group | |
| Dan Brown | dbro<at>cs.washington.edu | Dan Brown <dbro@cs.washington.edu< | University of Washington PLSE Group | |
| Jonathan G. Burke | jburke<at>cs.washington.edu | jonathangburke@gmail.com | University of Washington PLSE Group |