Static Program Analysis
A preserved cluster of undergraduate notes grouped by subject area.
4 notes
Introduction
Introduction Programming Language Theory: Language Design, Type system, Semantics and logics Environment: Compilers, Runtime system Application: Program analysis, Program verificat...
Data Flow Analysis
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...
Interprocedural Analysis
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
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...