Checker Framework 可以与 Error Prone 一起使用吗？

Question

Checker 框架可以与 Error Prone 一起使用吗？据我所知，它们在编译时检查方面具有重叠的目的，但它们并不做所有相同的事情。我使用 gradle，但我怀疑这两个插件是否可以同时使用（事实上有一个未解决的错误）。如果在命令行上手动执行此操作，我如何在一次javac调用中针对文件运行检查器和易出错的操作？

Answer 1

更新：

您现在可以一起运行 Checker Framework 和 Error Prone。

截至 2019 年 11 月（Checker Framework 版本 3.0.0），Checker Framework 支持 Java 8 和 Java 11。

截至 2020 年 5 月（Error Prone 版本 2.4.0），Error Prone 团队修复了一个错误，当您在同一 javac 执行中运行 Error Prone 和 Checker Framework 时，该错误会导致 Checker Framework 崩溃。

原文：

许多组织都运行 Checker Framework 和 Error Prone（Google 和 Uber 就是两个例子）。

目前，这两个工具需要分别调用javac。原因是 Checker Framework 是基于 javac 8 构建的，而 Error Prone 是基于 javac 9 构建的。Checker Framework 开发人员目前正在努力过渡到 javac 9，届时单个 javac 调用就可以运行这两个工具。