关于错误发现的静态分析的好的介绍性文本？

Question

我正在寻找关于错误发现的静态分析理论的好的介绍性文本。有什么建议？

Answer 1

• 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

Answer 2

wikipedia article介绍是否足够？它有许多链接可以提供更深入的信息。

podcast上还有一个software engineering radio。

Here，here和here是一些学术论文，但它们可能更难阅读和理解。

Answer 3

试试这个paper，这是第一个介绍微软Prefast工具的内容。这是最成功的静态分析工具之一。