区间运算中提高循环处理精度的研究.pdfVIP

区间运算中提高循环处理精度的研究 刘莉， 金大海， 宫云战 ((北京邮电大学网络与交换技术国家重点实验室, 北京 100876) 摘 要 循环语句大量应用于程序开发中，但是在静态 Key words : static analysis; interval computation; Loop 分析领域，对循环语句的处理还很不完善，存在着不终 processing ; Widening/Narrowing operator  止和迭代不收敛等一系列问题。传统的循环处理策略所 涉及的程序语义信息有限，无法应用于静态分析缺陷检 根据是否运行被测程序，软件分析可分为静 测中。本文提出一种基于符号运算和抽象解释理论中 态分析和动态分析。静态分析是一种在不执行程 Widening/Narrowing 算子的循环处理方法，并将其应用 序的情况下对代码进行评估的技术，它通过对当 于区间运算之中，以提高检测精度。本文所述方法已在 前状态及趋势的分析来预判软件未来运行时可能 缺陷检测系统（DTSGCC）中实现，对大量 Linux 中 GCC 出现的情况。 开源工程的测试结果表明，本文提出的方法可以提高区 由于只有在程序运行时才能准确获得程序中 间运算中循环处理的精度，减少潜在的误报。 变量及表达式的取值，因此区间运算被广泛应用 关键词： 静态分析；区间运算；循环处理；Widening/ 于软件测试领域, 以计算变量当前可能或确定的 Narrowing 算子 取值范围，有效的减少静态分析过程中的精度损 中图法分类号: TP311 失。 文献标识码: A 程序开发中大量应用循环语句，但是在静态 分析领域，对循环语句的处理还很不完善，存在 Research on Improving the Accuracy 着不终止和迭代不收敛等一系列问题，传统的循 环处理策略来源于编译器理论中的循环优化策略 of Loop Processing in Interval [1] ，如循环展开(Loop Unrolling) ，冗余表达式消 除等，但由于它们所涉及的程序语义信息有限， Computation 无法应用于静态分析缺陷检测中。 LIU Li, JIN Dahai, GONG Yunzhan 本文借鉴区间运算的思想，将抽象解释理论 [2] (State Key Laboratory of Networking and Switching 应用于静态分析中，提出一种基于符号执行和 Technology, Beijing University of Posts and 抽象解释理论的循环处理方法，该方法在区间运 Telecommunications, Beijing 100 876, China) 算中基于符号执行理论对变量取值区间进行抽象