提高区间运算的循环处理精度 (2011年)

【文件属性】：
文件名称：提高区间运算的循环处理精度 (2011年)
文件大小：300KB
文件格式：PDF
更新时间：2021-05-10 19:36:56
自然科学 论文 循环语句大量应用于程序开发中，但是在静态分析领域，对循环语句的处理还很不完善，存在着不终止和迭代不收敛等一系列问题。传统的循环处理策略所涉及的程序语义信息有限，无法应用于静态分析缺陷检测中。该文提出一种基于符号运算和抽象解释理论中Widening／Narrowing算子的循环处理方法，并将其应用于区间运算之中，以提高检测精度。所述方法已在缺陷检测系统(DTSGCC)中实现，对大量Linux中GCC开源工程的测试结果表明：该方法可以提高区间运算中循环处理的精度，减少潜在的误报。