软件分析

Intermediate Representation

2020-03-04 09:59 CST
2020-03-04 09:59 CST
CC BY-NC 4.0

Compilers and Static Analyzers

Source Code

AST vs. IR

IR: Three-Address Code(3AC)

3AC in Real Static Analyzer: Soot

Static Single Assignment(SSA)

Basic Blocks(BB)

Control Flow Graphs