Checker Framework

JSON →
library 4.0.0 ·java
verified Jun 17, 2026

Enhances Java's type system to detect and prevent errors via compiler plug-ins.