静的プログラム解析のページにようこそ！

このサイトは Aarhus大学のコンピューターサイエンス学科で開講されている講義、静的プログラム解析で使われているレクチャーノート の日本語訳です。

コンテンツ:

• 前書き
• 導入
  • 1.1 静的プログラム解析の応用
  • 1.2. おおよその回答
  • 1.3 Undecidability of Program Correctness
• 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

著作権表記

Copyright © 2008–2020 Anders Møller and Michael I. Schwartzbach

Department of Computer Science Aarhus University, Denmark

This work is licensed under the Creative Commons Attribution-NonCommercialNoDerivatives 4.0 International License. To view a copy of this license, visit http://creativecommons.org/licenses/by-nc-nd/4.0/.

この日本語訳について

この日本語訳は SpotBugsチーム の一員であるKengo TODAが作成しました。なにか問題を見つけましたら、お気軽に GitHubにて報告ください 。

索引と表

• 索引

• 検索ページ