每个功能的CFG通过被叫方连接.如果一个函数调用另一个,例如:
0 void foo() { /* do stuff */ }
1 void bar() { /* do stuff */ }
2
3 void baz() {
4 foo(); // Callsite for foo. Control transfers to foo, then foo returns here.
5 bar(); // Callsite for bar. Control transfers to bar, then bar returns here.
6 }
那么baz的控制图将包括一个到foo图形的边.同样地,因为foo最终将返回到baz(以及可能被调用的其他任何地方),所以在foo调用foo之后,foo图的末尾会有一个边缘返回到语句.这里,下一个语句是对第5行的bar的调用.此时,从bar调用点到bar的CFG有一条边,从bar的出口点回到baz的末尾.
基本上你需要考虑的是“接下来会执行什么代码”.这会告诉您控制图中边缘的位置.函数调用转移控制直到函数返回,这意味着从调用点到函数CFG的边缘再次返回.
请注意,并非所有全程序CFG都是连接图.如果您正在分析的程序中有unreachable code,那么这将是它自己的完整CFG中未连接的部分.例如如果你在上面的例子中取消了对bar的调用,那么bar会将自己的图形放在一边,而baz和foo将通过边连接.