马涅维奇，罗马；塔尔省列夫·阿米；穆利·萨吉夫；甘尼桑拉马林加姆；乔什·伯丁 用于并发形状分析的堆分解。 （英语） Zbl 1149.68358号 Alpunte，María（编辑）等人，《静态分析》。第15届国际研讨会，2008年SAS，西班牙巴伦西亚，2008年7月16日至18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69163-1/pbk）。《计算机科学讲义》5079、363-377（2008）。 小结：我们展示了形状分析，与最先进的分析相比，形状分析可以实现螺纹数量的状态空间指数减少，同时保持足够的精度来验证复杂的特性，如线性化能力。关键思想是通过将全局堆分解为（不一定是不相交的）子堆来抽象全局堆，抽象出它们之间的一些关联。这些新的形状分析是基于堆分解的分析框架的实例。该框架通过提供高效的抽象变压器和用户特定的分解方案，实现了复杂静态分析的快速原型制作。初步实验证实了堆分解在缩放并发形状分析中的价值。有关整个系列，请参见[Zbl 1142.68002号]. 引用于2文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 软件：TVLA公司 PDF格式BibTeX公司 XML格式引用 \textit{R.Manevich}等人，Lect。票据计算。科学。5079、363--377（2008年；Zbl 1149.68358） 全文： 内政部