The Checker Framework Manual: Custom pluggable types for JavaThe Checker Framework Manual: Custom pluggable types for Javahttps://checkerframework.orgVersion 3.49.4 (2 Jun 2025) For the impatient: Section 1.3 describes how to install and use pluggable type-checkers. This manual is also available in PDF. Contents Chapter 1 Introduction 1.1 How to read this manual 1.2 How it works: Pluggable types 1.3 Installation 1.4 Example use: detecting a null pointer b
