我一直在阅读SonarQube源代码分析平台，我一直在想：正式方法怎么样？
我发现PMD和FindBugs等工具可以轻松集成，因为它的架构可以促进插件的使用。然而，我没有看到基于解释的抽象分析器，甚至没有提到基于正式方法的工具。
我想知道这是否与基于规则的集成插件方法的限制有关？
我读到they are improving the semantic analysis of Java，也许这可以启用基于方法的正式方法......
任何人都有更多相关信息？比如，如果有兴趣从SonarQube团队那里追求这个方向吗？
谢谢！