PL 静态分析 原则: 先sound 后accurate/precise 静态分析时:先保证足够的完整,再保证精确度和速度 静态分析步骤: 1.抽象(把命令语句抽象成想要分析的内容:variables->signs) 2.近似 transfer functions(定义转换规则)(个人理解:类似于数据流) control flows(控制流)