3.2 控制流分析 (Control-flow Analysis)

文档摘要

3.2 控制流分析 (Control-flow Analysis) 3.2 控制流分析：程序行为的骨架解剖学我们常把程序比作一座城市——变量是居民，内存是街区，函数是社区中心，而控制流，则是贯穿全城的道路网络：它不承载数据，却决定数据去向；它不存储状态，却塑造状态演化路径；它本身无意义，却是一切语义意义得以展开的舞台。静态程序分析若想真正“看见”程序在运行时可能走过的每一条路、每一个分支、每一次循环，就必须首先对这座城市的道路系统进行一次精密测绘。这，正是控制流分析（Control-flow Analysis, CFA）的使命。它不是语法树的延伸，也不是符号执行的预演；