The Checker Framework

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 个错误