【发布时间】：2015-07-10 14:49:22
【问题描述】：
我一直在尝试使用 pdg-dot 插件来帮助创建我的软件的良好图表。问题是不同的文件没有 main 所以 Frama-C 抱怨。当我使用 -main 标记并指定一个函数来启动它时，它只会为函数及其内部的任何内容创建一个 .dot 文件。有没有办法制作我拥有的整个 .c 文件的 .dot 文件？
【问题讨论】：
【发布时间】：2015-07-10 14:49:22
【问题描述】：
我不这么认为。每个生成的 PDG 仅代表一个功能。但是您可以获得从入口点 (main) 可访问的所有功能的 PDG。
【讨论】：
-
我有一个很好的入口点，但现在，在我不得不处理丢失的头文件之后，我得到 gtkwin.c:77:[kernel] user error: syntax error。我能做些什么来解决这个问题？