控制交流程序的流程图,找出最差的路径

Question

是否有任何工具,库或框架来获取C程序的控制流程图,并找到程序可能采用的最差路径？

当我阅读与控制流图相关的其他问题时,我遇到了一些可以生成控制流图的工具.有没有办法用它们找到最坏的路径？

Answer 1

如果图表中永远存在循环，那么就不会——没有一种万无一失的方法可以解决这个问题，因为这个问题相当于停止问题。简短版本：给定任意其他程序，程序甚至不可能确定它是否会返回。您可能会确定潜在的无限循环，但接近确定的唯一方法是使用一组详尽的输入实际运行程序。