是否有任何工具、库或框架来获取 C 程序的控制流图，并找到程序可能采取的最坏路径？
当我阅读与控制流图相关的其他问题时，我遇到了一些可以生成控制流图的工具。有没有办法使用它们来找到最糟糕的路径？
问问题
1133 次
2 回答
1
如果图表中将有循环，那么不会 - 没有万无一失的方法来解决这个问题，因为这个问题相当于停止问题。简短版本：给定任意其他程序，一个程序甚至无法确定它是否会返回。您可能会确定潜在的无限循环，但几乎可以确定的唯一方法是使用一组详尽的输入实际运行程序。
于 2011-04-15T03:17:58.820 回答
0
您可能会对Worst Case Execution Time感兴趣，如果成功，从某种意义上说，它一定找到了您最差的控制流路径。
关于计算 C 控制流图的库，请参阅我们对 C 和其他语言的 DMS 的流分析支持，
于 2011-04-15T03:26:46.977 回答