The Checker Framework 1.6.4
在检查框架增强Java的类型系统。这让软件开发人员检测并防止类似空指针异常，意想不到的副作用，SQL注入，并发错误，误平等的测试，以及其他运行时错误在测试过程中，或在他们的Java程序领域中出现的错误。在检查框架包括编译器插件，发现缺陷或核实他们的缺席（“跳棋”）。它还允许你写你自己的编译器插件。...
在检查框架增强Java的类型系统。这让软件开发人员检测并防止类似空指针异常，意想不到的副作用，SQL注入，并发错误，误平等的测试，以及其他运行时错误在测试过程中，或在他们的Java程序领域中出现的错误。在检查框架包括编译器插件，发现缺陷或核实他们的缺席（“跳棋”）。它还允许你写你自己的编译器插件。...
