UCLA CS 232 Static Program Analysis

Reading List

Set constraints

Register allocation and SSA form

Static analysis of object-oriented programs

Pointer Analysis

Flow-insensitive and flow-sensitive analysis, context-insensitive and context-sensitive analysis

Use of static program analysis for optimization. Flow-directed method inlining, type-safe method inlining

Relationships among static analysis and type systems

Impossibility results

Soundness proofs for static analyses

Use of static program analysis for bug finding, including synchronization optimization, deadlock detection, security vulnerability detection