Question

ICFG = CFGs + call & return edges

• 调用边：从调用点 call site 到被调方法 callee 的入口
• 返回边：从 callee 的返回语句到 call site 的 下一句

图示便是过程间的控制流图，ICFG 本质还是 CFG，应该用三地址码构成的 Basic Block 构成，但是此处为了清晰分析，所以还是将 BB 拆开来分析。