java - 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 调用可以运行这两个工具。