系统依赖图与frama-c

Question

我用frama-c读到，我们可以生成一个PDG  which free tools can I use to generate the program dependence graph for c codes 我的问题是：有一种方法可以生成SDG（它是一组PDG，它旨在模拟过程间依赖性）？ 任何人都可以帮助我，或者可以给我一些关于哪些工具可以产生SDG的提示。 谢谢

Answer 1

我不能完全确定它能回答你的问题，但Frama-C的PDG插件确实有参数和隐式输入节点（被调用者读取的全局变量）形式的过程间信息，以及至于返回的值和输出位置（写入的全局变量）。它使用From插件的结果来计算依赖关系。

如果我在Db.Pdg中正确理解PDG的API，您应该能够使用Db.Pdg.find_simple_stmt_nodes函数获取与给定调用相对应的所有节点。