基于补偿的浮点八边形抽象域

• 作者: 吴世堂 李宁 李战怀 王瑞
• 来源期刊: 华中科技大学学报（自然科学版）
• 学科: 工学
• 关键词: 静态分析 浮点数 八边形抽象域 抽象解释 补偿量
• 年，卷（期）: 2015,（6）
• 所属期刊栏目: 计算机与控制工程
• 页码范围: 76-80
• 页数: 5页
• 分类号: TP311
• 语种: 中文
• DOI: 10.13245/j.hust.150615

摘要

为了解决抽象解释理论对浮点程序分析中的主要困难存在于构造复杂抽象域时采用实数而受限于高代价的计算量问题，针对八边形抽象域上实数运算提出了基于IEEE754的带补偿量的机器浮点表示及其运算算法，减少了浮点运算的复杂性；同时，将传统八边形抽象域扩展为可靠的浮点八边形抽象域，能够在分析的效率和精度之间取得合理的权衡。实验结果表明：用带补偿的浮点替代实数能够极大地提高八边形抽象域的效率，并且保证了分析的可靠性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李战怀	西北工业大学计算机学院	254	2139	21.0	35.0
2	王瑞	西北工业大学计算机学院	20	109	5.0	10.0
3	李宁		12	7	2.0	2.0
4	吴世堂		1	0	0.0	0.0