The Checker Framework （后文简称CF）提供一套机制，可以通过编写插件来扩展Java编译器的功能。就我目前的使用来看，它主要利用了Java中的注解（annotation）增强了编译过程中类型检查步骤的能力。
初体验
CF的安装很简单，详见官网介绍。运行时用CF提供的javac编译你需要检测的代码。对于Linux/Mac用户，为了方便，可以在.bashrc或.zshrc里增加这么两行：
export CHECKERFRAMEWORK=${你的安装路径}/checker-framework-2.1.9
alias javacheck='$CHECKERFRAMEWORK/checker/bin/javac'
然后就可以用一个简单的javacheck运行CF啦：
javacheck -processor org.checkerframework.checker.nullness.NullnessChecker GetStarted.java
这条指令中的-process org.checkerframework.checker.nullness.NullnessChecker制定了需要检测的错误是空指针，CF还自带了许多其他有用的插件检测其他类型错误。
如果GetStarted.java是这么一段代码：
import org.checkerframework.checker.nullness.qual.*;
public class GetStarted {
void sample() {
@NonNull Object ref = null;
}
}
上述指令就会打印：
GetStarted.java:5: 错误: [assignment.type.incompatible] incompatible types in assignment.
@NonNull Object ref = null;
^
found : null
required: @UnknownInitialization @NonNull Object
1 个错误
