C程序的控制流程图以找到可能的最差路径

Question

5

是否有任何工具、库或框架可以获取C程序的控制流程图，并找到程序可能采取的最糟糕路径？

当我阅读与控制流程图相关的其他问题时，我发现了一些可以生成控制流程图的工具。有没有办法使用它们来找到可能采取的最糟糕路径？

- Hari Krishna

由于我已经接受了一个答案，让我补充一下说明。了解2通过链接及其C、Perl和Python API可以帮助轻松获取CGF。 - Hari Krishna

2个回答

0

您可能会对最坏情况执行时间感兴趣，如果成功的话，在某种意义上必须找到您最糟糕的控制流路径。

关于计算C控制流图的库，请参阅我们针对C和其他语言的DMS流分析支持。

- Ira Baxter

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- cHao · Accepted Answer

如果图中将会有循环，那么没有绝对可靠的方法来解决这个问题，因为这个问题等同于停机问题。简而言之：对于一个任意的程序，它无法确定它是否会返回。你可能可以确定潜在的无限循环，但是要想更加确定，唯一的方法就是用详尽的输入集合来运行程序。