5 基于单调框架的数据流分析
6 放宽 Widening
7 路径敏感与关联分析
8 过程间分析
9 分配分析框架
10 控制流分析
11 指针分析
12 抽象解释