为什么动态分析不能涵盖程序的所有执行路径？

Question

我是程序分析领域的新手，在阅读了这方面的一些资料后，我有一些问题我找不到相应的答案。

参见，如果我实现了一个工具:符号执行+像达特那样的具体执行

然后，我认为它应该涵盖所有的执行路径，同时保持动态分析特性。

我听说动态分析不能涵盖所有的执行路径，但基本上为什么？我觉得像DART这样的技术现在已经很成熟了..。

其他的，如模型检查，理论上保证100%的代码coverage...am i对吗？

有人能帮我一下吗？谢谢!

Answer 1

通过一段代码的路径数在“if”语句的数量中是指数的。例如，如果您有如下代码：

if (a) {
  // do something
}
if (b) {
  // do something
}
...
if (z) {
  // do something
}

然后有67108864个可能的代码路径，取决于26个布尔变量的值。