static-analysis - 控制流图和调用(流？)图之间的实际区别？

Question

维基百科有一个定义 control flow graph .我也听说过有关“调用(流？)图”的术语，但找不到任何相关资源。两者之间是什么关系？

Answer 1

维基百科定义了一个 call graph作为程序中子程序之间调用关系的表示。在调用图中，两个节点之间的边 f和 g :

      f --> g

表示子程序f调用子程序 g .调用图给出了 程序间一个程序的 View 。

控制流图 (CFG) 为整个程序的结构，特别是子程序的结构提供了更精细的“细节”。例如，子程序的 CFG f将明确所有由条件分支引起的路径:

                             / branch1 \
    begin --> condition -->             --> codeblock --> g --> end
                             \ branch2 /

这种CFG用于构建程序内子程序的 View 。