摘要： 南大《软件分析》——Intermediate Representation @(静态分析) Content 编译器和静态分析的关系 AST vs IR IR:3-地址代码（3AC） 实际静态分析器的3AC—Soot（Java） SSA-静态单赋值 基本块（BB） 控制流图（CFG） Compiler 阅读全文