我一直在阅读有关 SonarQube 源代码分析平台的信息，我一直在想：形式方法呢？
我看到PMD和FindBugs等工具可以轻松集成，因为它的架构促进了插件的使用。然而，我没有看到基于抽象解释的分析器，甚至没有任何提到基于形式方法的工具。
我想知道这是否与基于规则的集成插件方法的限制有关？
我读到他们正在改进 Java 的语义分析，也许这可以启用基于正式方法的方法......
有人有更多的信息吗？比如，SonarQube 团队是否有兴趣朝着这个方向发展？
谢谢！
我一直在阅读有关 SonarQube 源代码分析平台的信息，我一直在想：形式方法呢？
我看到PMD和FindBugs等工具可以轻松集成，因为它的架构促进了插件的使用。然而，我没有看到基于抽象解释的分析器，甚至没有任何提到基于形式方法的工具。
我想知道这是否与基于规则的集成插件方法的限制有关？
我读到他们正在改进 Java 的语义分析，也许这可以启用基于正式方法的方法......
有人有更多的信息吗？比如，SonarQube 团队是否有兴趣朝着这个方向发展？
谢谢！