Static Program Analysis
コンテンツ:
前書き
導入
A Tiny Imperative Programming Language
Type Analysis
Lattice Theory
Dataflow Analysis with Monotone Frameworks
Widening
Path Sensitivity and Relational Analysis
Interprocedural Analysis
Control Flow Analysis
Pointer Analysis
Abstract Interpretation
Bibliography
Static Program Analysis
A Tiny Imperative Programming Language
View page source
A Tiny Imperative Programming Language