c - C程序如何生成程序依赖图？

Question

我想从 C 源代码生成程序依赖图 (PDG)。我找到了解释如何做的论文，但都使用了商业 CodeSurfer 工具。

有没有免费的工具可以做到这一点？

Answer 1

Frama-C是一个开源静态分析框架，可以为 C 程序计算合理程序依赖图。它的slicing plug-in使用生成的 PDG。在 February 2010 中讨论了切片和 PDG 计算。在邮件列表上(jung、myung-jin 的消息和他们的回答)。

您还可以查看 NIST 的 Unravel ，或佐治亚理工学院的 Aristotle .两者 Valsoft在卡尔斯鲁厄大学和 Loyola 的 Surgeon's Assistant , 也可能值得研究。