马丁·施瓦夫；阿什什·蒂瓦里 不一致代码的严重级别。 （英语） Zbl 1471.68078号 Finkbeiner，Bernd（编辑）等人，《验证和分析自动化技术》。第十三届国际研讨会，2015年10月12日至15日，中国上海，ATVA。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9364, 97-113 (2015). 摘要：不一致代码检测是静态分析的一种变体，用于检测在可行执行中从未出现的语句。这包括其执行最终必须导致错误的代码、错误的错误处理代码和无法访问的代码。不一致的代码可以在本地完全自动地检测到，并且误报率很低。然而，并非所有不一致代码的实例都值得报告。例如，调试代码可能被故意渲染为无法访问，并且报告它将被视为误报。为了区分相关和潜在不相关的不一致，我们提出了一种算法，将不一致的代码分类为（a）必须导致错误并且可能可以访问的代码，（b）由于前面必须有错误而无法访问的代码以及（c）由于其他原因而无法访问到的代码。我们将我们的算法应用于几个开源项目，以证明第一类的不一致性是高度相关的，并且经常导致错误修复，而最后一个类别中的不一致性在很大程度上可以忽略。关于整个系列，请参见[Zbl 1325.68017号]. MSC公司： 68N99型 软件理论 软件：比克西；布吉；烟尘；乔吉 PDF格式BibTeX公司 XML格式引用 \textit{M.Schäf}和\textit{A.Tiwari}，莱克特。注释计算。科学。9364，97-113（2015；Zbl 1471.68078） 全文： DOI程序