静态程序分析

Introduction Programming Language Theory: Language Design, Type system, Semantics and logics Environment: Compilers, Runtime system Application: Program analysis, Program verificat...

Applications How Data Flows on CFG? How application specific Data Flows through the Nodes (BB) and Edges (control flows) of CFG (a program) may analysis: over approximation must an...

Call Graph (CHA) Call Graph Construction for OOPLs Classic hierarchy analysis (CHA) Pointer analysis (k CFA) Dispatch(c, m) = m' if c contains non abstract method m' that has the s...

Pointer Analysis Program Points to relations Pointer Analysis: which objects a pointer can point to Alias analysis: can two pointers point to the same object Pointer Analysis Appli...