基于约束的多面体抽象域的弱接合

• 作者: 刘万伟 王戟 陈立前
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 静态分析 抽象解释 多面体抽象域 凸闭包 强接合 弱接合
• 年，卷（期）: 2010,（11）
• 页码范围: 2711-2724
• 分类号: TP311
• 字数: 13679字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2010.03664

摘要

基于约束的多面体抽象域的处理能力主要受限于其高代价的(强)接合操作,即两多面体的凸闭包计算.针对基于约束的多面体抽象域提出了一系列低代价的弱接合操作,以作为凸闭包计算的可靠替代候选.为了能够在分析效率和精度之间取得合理权衡,还提出了一种启发式策略,以把强、弱接合动态地、有机地结合起来进行程序分析.实验结果表明,弱接合能够极大地提升基于约束的多面体抽象域的效率、可扩展性和鲁棒性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈立前		2	9	2.0	2.0
2	王戟		9	77	5.0	8.0
3	刘万伟		3	30	3.0	3.0