Statements (24)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:software
|
| gptkbp:category |
gptkb: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 |
| 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
|
| https://www.w3.org/2000/01/rdf-schema#label |
Checker Framework
|