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
  • 検索

© Copyright 2021, Anders Møller and Michael I. Schwartzbach.

Built with Sphinx using a theme provided by Read the Docs.