一个c程序的控制流图，用来找到最坏的可能路径。
一个c程序的控制流图，用来找到最坏的可能路径。
提问于 2011-04-15 11:01:17
是否有任何工具、库或框架可以获取C程序的控制流图，并找到程序可能采用的最差路径？
当我阅读与控制流图相关的其他问题时，我偶然发现了一些可以生成控制流图的工具。有没有办法用它们找到最坏的可能路径？
回答 2
Stack Overflow用户
回答已采纳
发布于 2011-04-15 11:17:59
如果图中有循环，那就没有--没有万无一失的方法来解决这个问题，因为这个问题等同于halting problem。简而言之:对于一个程序来说，给定一个任意的其他程序，甚至不可能确定它是否会返回。您可以确定潜在的无限循环，但唯一接近确定的方法是使用一组详尽的输入实际运行程序。
Stack Overflow用户
发布于 2011-04-15 11:26:47
你可能会对Worst Case Execution Time感兴趣，如果它成功了，在某种意义上肯定已经找到了你最糟糕的控制流路径。
关于计算C语言控制流图的库，请参阅我们的C和其他语言的flow analysis support for DMS。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/5671937
复制相关文章
相似问题
腾讯云开发者
