Fehnker，Ansgar公司；拉尔夫·胡克；西弗利德，肖恩 静态软件分析的增量错误路径消除。 （英语） Zbl 1262.68037号 刘志明（编辑）等，《验证和分析自动化技术》。2009年10月14日至16日，第七届国际研讨会，ATVA 2009，中国澳门。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04760-2/pbk）。计算机科学课堂讲稿5799255-270（2009）。 总结：在这项工作中，我们介绍了一种在静态程序分析中消除误报的新方法。我们提出了一种增量算法，该算法在可行性方面研究通往故障位置的路径。通过在程序路径的语义抽象上求解区间约束进行可行性测试。通过使用观测器逐步丰富分析，可以排除不可行路径集。与用于软件验证的反例引导的抽象细化类似，我们的方法可以使用粗糙的语法抽象开始静态程序分析，并在必要和可能的情况下使用更丰富的语义信息来排除误报。此外，我们还介绍了我们在Goanna静态分析器中的实现，并将其与其他C/C++程序分析工具进行了比较。有关整个系列，请参见[Zbl 1176.68012号]. MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 65年第68季度 形式语言和自动机 第68季度第60季度 规范和验证（程序逻辑、模型检查等） 软件：猎户座；爆炸；戈亚纳；卫星抗体 PDF格式BibTeX公司 XML格式引用 \textit{A.Fehnker}等人，Lect。票据计算。科学。5799255-270（2009年；Zbl 1262.68037） 全文： 内政部