控制流图 编辑
控制流图简称CFG，是计算机科学中的表示法，利用数学中图的表示方式，标示计算机程序执行过程中所经过的所有路径。控制流图是由法兰·艾伦所建立，他提出Reese T. Prosser曾利用邻接矩阵用在流分析上。
1
相关
函式呼叫图，属于控制流图，可以展示计算机程序中子程序之间的关系。每一个节点是一个函式，每一个边表示函式f呼叫函式g。若其中有出现互相呼叫的环，表示程式中可能有递归。
函式呼叫图，属于控制流图，可以展示计算机程序中子程序之间的关系。每一个节点是一个函式，每一个边表示函式f呼叫函式g。若其中有出现互相呼叫的环，表示程式中可能有递归。
数据流分析 是一种用于收集计算机程序在不同点计算的值的信息的技术。一个程序的控制流图被用来确定对变量的一次赋值可能传播到程序中的哪些部分。这些信息通常被编译器用来优化程序。数据流分析的一个典型的例子就是可到达定义的计算。
在计算机科学中，控制流图的一个节点 d 支配节点 n，当且仅当从开始节点到节点 n的每一条路径均要经过节点d，写作d dom n 。根据上述定义，容易得到每个节点均支配其自身。
控制流分析简称CFA，是一种确认程式控制流程的静态代码分析技术。控制流程会以控制流图来表示。对于函数程式语言及物件导向程式设计，CFA都是指计算控制流程的算法。
在电脑编译器架构中，基本块是一段线性的程式码，只能从这段程式码开始处进入这段程式，没有其他程式码会跳跃进入这段程式，只能从这段程式码最后一行离开这段程式，中间没有其他程式码会跳跃离开这段程式。这种程式的限制使得基本块非常好分析。编译器处理程式时，会在分析程序中，将程式分解为所有基本块的组合。在控制流图中，基本块是控制流图中的节点。
在电脑编译器架构中，基本块是一段线性的程式码，只能从这段程式码开始处进入这段程式，没有其他程式码会跳跃进入这段程式，只能从这段程式码最后一行离开这段程式，中间没有其他程式码会跳跃离开这段程式。这种程式的限制使得基本块非常好分析。编译器处理程式时，会在分析程序中，将程式分解为所有基本块的组合。在控制流图中，基本块是控制流图中的节点。
在电脑编译器架构中，基本块是一段线性的程式码，只能从这段程式码开始处进入这段程式，没有其他程式码会跳跃进入这段程式，只能从这段程式码最后一行离开这段程式，中间没有其他程式码会跳跃离开这段程式。这种程式的限制使得基本块非常好分析。编译器处理程式时，会在分析程序中，将程式分解为所有基本块的组合。在控制流图中，基本块是控制流图中的节点。
在电脑编译器架构中，基本块是一段线性的程式码，只能从这段程式码开始处进入这段程式，没有其他程式码会跳跃进入这段程式，只能从这段程式码最后一行离开这段程式，中间没有其他程式码会跳跃离开这段程式。这种程式的限制使得基本块非常好分析。编译器处理程式时，会在分析程序中，将程式分解为所有基本块的组合。在控制流图中，基本块是控制流图中的节点。
函式呼叫图，属于控制流图，可以展示计算机程序中子程序之间的关系。每一个节点是一个函式，每一个边表示函式f呼叫函式g。若其中有出现互相呼叫的环，表示程式中可能有递归。