对手，泽维尔 报警诊断的抽象相关性。 （英语） Zbl 1159.68382号 Yi，Kwangkeun（编辑），《编程语言和系统》。第三届亚洲研讨会，2005年APLAS，2005年11月2日至5日，日本筑波。诉讼程序。柏林：施普林格出版社（ISBN 3-540-29735-9/pbk）。计算机科学课堂讲稿3780347-363（2005）。 摘要：我们提出了一个相互适应的依赖性分析框架，以理解静态分析器的输出。像阿斯特雷这样的静态分析仪是健全的，但并不完整；因此，它们可能会产生假警报，即报告无法证明感兴趣的部分属性。帮助用户完成报警检查任务是当前静态分析仪面临的主要挑战。语义切片，即为一组错误跟踪计算精确的抽象不变量，为可能的错误上下文提供了有用的特征。我们建议使用有关抽象依赖的信息来增强语义切片。抽象依赖应该比单纯依赖更具信息性：首先，我们建议限制在切片中可以观察到的依赖；其次，我们定义了抽象属性之间的依赖关系，以便将异常行为隔离为错误源。最后，更强的切片概念应该允许将切片限制为这种依赖关系。关于整个系列，请参见[Zbl 1098.68007号]. MSC公司： 68甲15 编程语言理论 软件：ASTREE公司;CSSV公司;组成;TVLA公司 PDF格式BibTeX公司 XML格式引用 \textit{X.对手}，莱克特。注释计算。科学。3780、347--363（2005年；Zbl 1159.68382） 全文： DOI程序