バグ発見のための静的解析の入門テキストが良いですか？

Question

私はバグ発見のための静的解析の理論についての良い入門書を探しています。どんな勧告？

Answer 1

は十分wikipedia article入門ですか？それはより深い情報への多くのリンクを持っています。

software engineering radio上podcastもあります。

Here,hereおよびhereは、いくつかの学術論文であるが、読みにくく理解しにくい場合がある。

Answer 2

は、MicrosoftのPrefastツールになったものを最初に導入したこのpaper試してみてください。それは最も成功した静的分析ツールの1つです。

Answer 3

• Patrick Cousot and Radhia Cousot, "Basic Concepts of Abstract Interpretation."
• Patrick Cousot, "Abstract Interpretation Based Formal Methods and Future Challenges."
• Bruno Blanchet et al., "A Static Analyzer for Large Safety-Critical Software."
• Jérôme Feret, "Static Analysis of Digital Filters."
• Antoine Miné, "Relational abstract domains for the detection of floating-point run-time errors." (PDF)
• Airbus France: Computing the Worst-Case Execution Time of an Avionics Program by Abstract Interpretation (PDF)
• Program Analyzer Generator: Related White Papers