block）是所有流程在结束时都会执行的程式码。因为控制流图的生成方式，在控制流图中，每一个有向边A→B会有以下的性质：以概念上来看，控制流图可以由程式的完整流程图产生。先画出一个控制流图，其中每一个顶点对应程式中的一个指令。接着对每一个边进行边收缩，将不符合上述条件的边（就是outdegree(A) = 1 且 indegree(B) = 1的边）和相邻的边整合。这个收缩演算法在实务上没有什么重要性，但可以以视觉的方式说明控制流图的产生方式。而实务上产生控制流图的方式会更有效率的扫描程式中的基本块