他提出曾利用邻接矩阵用在流分析上。CFG是许多及静态程序分析工具中的核心技术。
定义.控制流图中的每个顶点都对应一个程式基本块，也就是一段没有分支指令，也没有分支目的的程式码，基本块的开始是分支目的，而基本块会以分支为结束。控制流程中会用有向边来表示分支。在大部份的进行下，会有二个特殊指定的程式块：进入程式块（entry block）是指进入此控制流图时，第一个遇到的程式码，另一个是结束程式块（exit block）是所有流程在结束时都会执行的程式码。因为控制流图的生成方式，