Checker Framework

GPTKB entity

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