The Checker Framework

描述

Checker 框架增强了 Java 的类型系统。这使软件开发人员能够检测和防止错误，如空指针异常、意外副作用、SQL 注入、并发错误、错误相等测试以及在测试期间或在其 Java 程序中出现的其他运行时错误。 Checker 框架包括编译器插件（“检查器”），用于查找错误或验证它们的缺失。它还允许您编写自己的编译器插件。