| 提高区间运算的循环处理精度 |
| |
| 引用本文： | 刘莉,金大海,宫云战. 提高区间运算的循环处理精度[J]. 清华大学学报(自然科学版), 2011, 0(Z1): 1483-1486,1493 |
| |
| 作者姓名： | 刘莉 金大海 宫云战 |
| |
| 作者单位： | 北京邮电大学网络与交换技术国家重点实验室; |
| |
| 基金项目： | 国家自然科学基金项目(91018002) |
| |
| 摘 要： | 循环语句大量应用于程序开发中,但是在静态分析领域,对循环语句的处理还很不完善,存在着不终止和迭代不收敛等一系列问题。传统的循环处理策略所涉及的程序语义信息有限,无法应用于静态分析缺陷检测中。该文提出一种基于符号运算和抽象解释理论中Widening/Narrowing算子的循环处理方法,并将其应用于区间运算之中,以提高检测精度。所述方法已在缺陷检测系统(DTSGCC)中实现,对大量Linux中GCC开源工程的测试结果表明:该方法可以提高区间运算中循环处理的精度,减少潜在的误报。
|
| 关 键 词： | 静态分析 区间运算 循环处理 Widening/Narrowing算子 |
Improving the accuracy of loop processing in interval computations |
| |
| LIU Li,JIN Dahai,GONG Yunzhan. Improving the accuracy of loop processing in interval computations[J]. Journal of Tsinghua University(Science and Technology), 2011, 0(Z1): 1483-1486,1493 |
| |
| Authors: | LIU Li JIN Dahai GONG Yunzhan |
| |
| Affiliation: | LIU Li,JIN Dahai,GONG Yunzhan(State Key Laboratory of Networking and Switching Technology,Beijing University of Posts and Telecommunications,Beijing 100876,China) |
| |
| Abstract: | Loop statements are widely used in programs,but loop processing can have problems in static analyses,with problems such as not terminating and unconverged iterations.Since traditional loop processing strategies involve limited program semantic information,they cannot be used for static defect detection.This paper presents a loop processing method based on symbolic execution and the Widening/Narrowing operators from abstract interpretation theory to improve the analysis accuracy.This method has been implemen... |
| |
| Keywords: | static analysis interval computation loop processing Widening/Narrowing operator |
| 本文献已被 CNKI 等数据库收录！ |
|
