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
Path Sensitivity and Relational Analysis
View page source
Path Sensitivity and Relational Analysis