sonarqube - 错误 - 无法完成符号执行 : reached limit of 10000 steps

Question

使用 SonarQube 5.2，当我分析与使用 SonarQube 5.1.2 相同的项目时，我在分析 Java 源代码时在日志中看到很多此类错误消息:

ERROR - Could not complete symbolic execution: reached limit of 10000 steps for method updateAll in class DefaultTypeDefinitions

这些错误消息没有出现在以前的 SonarQube 5.1.2 版本中。

不过最终SonarQube 5.2的分析结果似乎还可以。

但是这些错误信息使我警觉。我不明白怎么了。你能帮忙澄清一下吗？

Answer 1

当您使用 sonar-java 插件 3.8 运行分析时，此错误消息实际上是完全正常和预期的。因为这个版本引入了新的符号执行引擎。

(所以最后这不应该是错误消息，而是仅在 Debug模式下可见的内容:https://jira.sonarsource.com/browse/SONARJAVA-1406 这应该在下一版本的 java 插件中修复)。

这对您的分析无害。

这是什么意思 ？

对于两个规则(关于空指针异常的 S2259 和关于条件总是真或假的 S2583)，我们使用 符号执行 探索一种方法的所有可能状态以发现问题。这最终会探索可能状态的大图(这里过于简化，但足以解释)。

这种探索可能是巨大的，因此有一个任意限制:10 000 步。因此，当我们无法完成符号执行时，我们会记录此消息。

具体来说:这是一种相当间接的方式来警告您一些 潜力关于此方法的这两个规则的假阴性。