桑卡拉纳拉亚南，斯里拉姆;弗兰乔·伊万契奇;伊利亚·什利亚克特;阿尔蒂·古普塔 析取数值域中的静态分析。 （英语） Zbl 1225.68077号 Yi，Kwangkeun（编辑），静态分析。2006年8月29日至31日，第13届国际研讨会，SAS 2006，韩国首尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-37756-6/pbk）。计算机科学讲义4134，3-17（2006）。 摘要：数值域（如多面体、八角体、区间和线性等式）的凸性使软件能够对缓冲区溢出、空指针引用和浮点错误进行易处理的分析。然而，在许多常见情况下，凸性也会导致分析失败。Powerset扩展可以通过考虑谓词的析取来弥补这一缺点。不幸的是，与在基础域上进行分析相比，使用powerset域进行分析的成本可能会成倍增加。在本文中，我们证明了在常用幂集扩展中计算的不动点的结构性质。我们表明，在幂集扩展上计算的不动点也是在“细化”程序CFG结构的基础域中计算的不动点。利用这一洞察力，我们构建了分析算法，通过在基域上执行定点计算，同时动态发现“精化”，从而接近路径敏感静态分析算法。利用对阐述性质的限制，我们设计了根据析取数进行多项式缩放的算法。我们已经为C程序实现了一个轻量级静态分析器，初步结果令人鼓舞。有关整个系列，请参见[兹比尔1120.68011]. 引用于11文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 65岁99岁 数值算法的计算机方面 68瓦40 算法分析 软件：应用程序;CSSV公司;ASTREE公司 PDF格式BibTeX公司 XML格式引用 \textit{S.Sankaranarayanan}等人，Lect。注释计算。科学。4134，3--17（2006；Zbl 1225.68077） 全文： 内政部