运行带有 Bazel 的检查器框架

Question

考虑这个 github 存储库。 https://github.com/dfabulich/bazel-checker-framework-bug

它包含一个示例 X.java 文件，该文件公然违反了 @Nonnull 注释的规则。

import javax.annotation.Nonnull;
public class X {
    public static void main(String[] args) {
        new X().exec();
    }

    public void exec() {
        System.out.println(this.method());
    }

    @Nonnull
    private String method() {
        return null;
    }
}

WORKSPACE 文件仅包含 checker.jar.

maven_jar(
    name="checker",
    artifact="org.checkerframework:checker:2.3.1"
)

BUILD 文件使用配置为 java_plugin.

的检查器框架调用编译器

java_library(
    name='x',
    srcs=['X.java'],
    deps=['@checker//jar'],
    plugins=['checker'],
)

java_plugin(
    name='checker',
    deps=['@checker//jar'],
    processor_class='org.checkerframework.checker.nullness.NullnessChecker',
)

当我 bazel build x 时，构建失败并出现此错误：

error: InvocationTargetException when invoking constructor for class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory; Underlying cause: java.lang.WhosebugError; The Checker Framework crashed. Please report the crash. To see the full stack trace invoke the compiler with -AprintErrorStack

当我注释掉 BUILD 文件中的 plugins 行时，构建成功且没有错误。（这是有道理的，但我最终希望 Checker Framework 使此构建失败并出现 return.type.incompatible 错误。）

我在这里犯错了吗？这是 Bazel 中的错误吗？

Answer 1

我在 bazel-discuss mailing list, telling me to try NullAway 上得到了很好的答案，这是一个依赖于 Checker Framework 的容易出错的插件。

github repo 现在包括一个使用 NullAway 的工作示例，就像这样。

工作空间：

maven_jar(
    name='jsr305',
    artifact='com.google.code.findbugs:jsr305:3.0.2',
)

maven_jar(
    name="nullaway",
    artifact="com.uber.nullaway:nullaway:0.3.2"
)

maven_jar(
    name="guava",
    artifact="com.google.guava:guava:22.0",
)

构建：

java_library(
    name='x',
    srcs=['X.java'],
    deps=['@jsr305//jar'],
    plugins=['nullaway'],
    javacopts=[
        '-Xep:NullAway:ERROR',
        '-XepOpt:NullAway:AnnotatedPackages=com.example',
    ],
)

java_plugin(
    name='nullaway',
    deps=[
        '@nullaway//jar',
        '@guava//jar',
    ],
)

（对番石榴的依赖是不幸的；它是必需的，因为 without Guava, NullAway refuses to load。）

运行 带有 Bazel 的检查器框架

Run Checker Framework with Bazel

checker-framework

bazel

运行带有 Bazel 的检查器框架