The Checker Framework Manual: Custom pluggable types for Java
Chapter 1 Introduction The Checker Framework enhances Java’s type system to make it more powerful and useful. This lets software developers detect and prevent errors in their Java programs. A “checker” is a tool that ....