我读到使用frama-c，我们可以生成PDG我可以使用哪些免费工具来生成c代码的程序依赖图我的问题是：有一种方法可以生成SDG（它是一组PDG，旨在对过程间依赖性进行建模）？。任何人都可以帮助我，或者给我一些关于哪些工具可以生成SDG的提示。感谢
我不完全确定它是否能回答你的问题，但Frama-C的PDG插件确实有过程间信息，以参数和隐式输入（被调用者读取的全局变量）的节点的形式，以及返回值和输出位置（写入的全局值）的形式。它使用From插件的结果来计算依赖关系。
如果我在Db.Pdg中正确理解PDG的API，那么您应该能够使用Db.Pdg.find_simple_stmt_nodes函数获取与给定调用对应的所有节点。