从ANSI C代码获取控制流图

Question

我正在构建用于测试ansi c应用程序的工具.只需加载代码,查看控制流图,运行测试,标记所有被击中的顶点.我正在尝试通过解析代码来自己构建CFG.不幸的是,如果嵌套代码,它会搞砸.GCC提供从编译代码中获取CFG的能力.我可能会为其输出编写解析器,但我需要行号来设置断点.使用-fdump-tree-cfg或输出控制流图时是否有获取行号的方法-fdump-tree-vcg？

Answer 1

对于C程序的控制流图,您可以查看C的现有Python解析器:

• PyCParser
• pycparser
• pyclibrary(pyclibrary的分支)
• joern
• CoFlo C/C++控制流程图生成器和分析器

调用图是控制流图的密切相关的构造.有几种方法可用于为C代码创建调用图(函数依赖性).这可能有助于推进控制流图生成.在C中创建依赖图的方法:

• 使用cflow:

  • cflow + pycflow2dot + dot(GPL,BSD)cflow是健壮的,因为它可以处理无法编译的代码,例如缺少包含.如果大量使用预处理程序指令,则可能需要--cpp选项来预处理代码.
  • cflow + cflow2dot + dot(GPL v2,GPL v3,Eclipse公共许可证(EPL)v1)(注意cflow2dot在工作之前需要一些路径修复)
  • cflow + cflow2dot.bash(GPL v2 ,?)
  • cflow + cflow2vcg(GPL v2,GPL v2)
  • 增强型cflow(GPL v2),带有列表以从图中排除符号

• 使用cscope:

  • cscope(BSD)
  • cscope + callgraphviz + dot + xdot
  • cscope + vim CCTree(C Call-Tree Explorer)
  • cscope + ccglue
  • cscope + CodeQuery for C,C++,Python和Java
  • cscope + Python html制作人
  • cscope + calltree.sh

• ncc(像cflow一样)

• KCachegrind(KDE依赖查看器)
• Calltree

遗憾的是,以下工具要求代码可编译,因为它们依赖于gcc的输出:

• CodeViz(GPL v2)(弱点:需要可编译源,因为它使用gcc转储cdepn文件)
• gcc + egypt + dot(GPL v*,Perl = GPL | Artistic license,EPL v1)(egypt用于gcc制作RTL,因此任何错误的源代码都会失败,或者即使您只想关注来自大型项目的单个文件因此,与cflow基于更健壮的工具链相比,它并不是非常有用.请注意,埃及默认支持从图表中排除库调用,以使其更清晰.

此外,可以使用创建C/C++的文件依赖关系图crowfood.

Answer 2

所以我做了一些研究,并不难获得节点的行号.只需lineno在其中一个选项中添加选项即可获得它.所以使用-fdump-tree-cfg-lineno或-fdump-tree-vcg-lineno.我花了一些时间来检查这些数字是否可靠.在VCG格式的图形的情况下,每个节点的标签包含两个数字.这些是由该节点表示的代码部分的开始和结束的行号.