我读到，使用 frama-c，我们可以生成 PDG which free tools can I use to generate the program dependence graph for c codes 我的问题是:有一种方法可以生成SDG(它是一组PDG，旨在对过程间依赖性进行建模)？ 任何人都可以帮助我，或者给我关于哪些工具可以生成可持续发展目标的提示。 谢谢您
最佳答案
我不完全确定它回答了你的问题，但 Frama-C 的 PDG 插件确实具有过程间信息，以参数和隐式输入(被调用者读取的全局变量)节点的形式存在。至于返回值和输出位置(写入的全局变量)。它使用 From 插件的结果来计算依赖关系。
如果我正确理解 Db.Pdg 中的 PDG API，您应该能够使用 Db.Pdg.find_simple_stmt_nodes 函数获取与给定调用相对应的所有节点。
关于frama-c - 使用 frama-c 绘制系统依赖图，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/29532720/