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

Question

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

Answer 1

• Patrick Cousot 和 Radhia Cousot，“抽象解释的基本概念”。
• Patrick Cousot，“基于抽象解释的形式化方法和未来挑战”。
• Bruno Blanchet 等人，“大型安全关键软件的静态分析器”。
• Jérôme Feret，“数字滤波器的静态分析”。
• Antoine Miné，“用于检测浮点运行时错误的关系抽象域”。(PDF)
• 空客法国：通过抽象解释计算航空电子程序的最坏情况执行时间 (PDF)
• 程序分析器生成器：相关白皮书

Answer 2

维基百科的文章足够介绍吗？它有许多指向更深入信息的链接。

还有一个关于软件工程广播的播客。

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

Answer 3

试试这篇论文，它首先介绍了微软的Prefast工具。这是最成功的静态分析工具之一。