问数据流图
EN

Stack Overflow用户

提问于 2012-09-11 23:47:45

回答 1查看 431关注 0票数 0

是否有一个frama-c插件来输出过程间数据流/指向图形？

我知道来自切片器插件的-pdg将包含此信息，但我想知道是否可以单独获取它。

发布于 2012-09-13 14:21:20

PDG不是切片插件的一部分，如果愿意，您可以单独使用它。请参见：

$ frama-c -pdg-help

以获得选项的(简短)列表，以及内核模块(在src/ Db.Pdg /db.mli中)中的API，以便在您自己的程序中使用它。

票数 1

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/12373498

复制

相似问题

问数据流图EN