区间运算中提高循环处理精度的研究
循环语句大量应用于程序开发中，但是在静态分析领域，对循环语句的处理还很不完善，存在着不终止和迭代不收敛等一系列问题。传统的循环处理策略所涉及的程序语义信息有限，无法应用于静态分析缺陷检测中。本文提出一种基于符号运算和抽象解释理论中Widening/Narrowing 算子的循环处理方法，并将其应用于区间运算之中，以提高检测精度。本文所述方法已在缺陷检测系统（DTSGCC）中实现，对大量Linux中GCC开源工程的测试结果表明，本文提出的方法可以提高区间运算中循环处理的精度，减少潜在的误报。
软件测试 程序语义 静态分析 区间运算
刘莉 金大海 宫云战
北京邮电大学网络与交换技术国家重点实验室, 北京 100876
国内会议
北京
中文
1-5
2011-07-30（万方平台首次上网日期，不代表论文的发表时间）