Statements (24)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:software
|
gptkbp:category |
static analysis tool
|
gptkbp:citation |
Ernst, Michael D., et al. "The Checker Framework: Custom pluggable types for Java." OOPSLA 2008.
|
gptkbp:developedBy |
gptkb:University_of_Washington
|
gptkbp:documentation |
https://checkerframework.org/
|
gptkbp:enables |
taint analysis
custom type systems immutability checking index checking interning checking lock checking nullness checking units checking |
https://www.w3.org/2000/01/rdf-schema#label |
Checker Framework
|
gptkbp:latestReleaseVersion |
3.37.0
|
gptkbp:license |
gptkb:GPL
|
gptkbp:mainLanguage |
gptkb:Java
|
gptkbp:partOf |
TypeTools project
|
gptkbp:repository |
https://github.com/typetools/checker-framework
|
gptkbp:supports |
Java 8 and above
|
gptkbp:usedBy |
Java developers
|
gptkbp:usedFor |
pluggable type checking
|
gptkbp:bfsParent |
gptkb:JSR_305
|
gptkbp:bfsLayer |
8
|