精确的堆内存使用量上界分析
基于符号执行框架分析了程序堆内存使用量的符号化上界.首先扩展了经典符号执行技术中的内存模型,针对堆内存分配与释放操作进行建模,维护堆内存的使用量信息,然后针对"平板循环"、带分支循环等常见循环结构给出了特殊处理策略,并采用程序切片技术缩减程序分析的规模.最后基于开源符号执行工具KLEE设计实现了一个堆内存使用量上界分析原型工具.实验结果证明,该工具能够针对很多常见程序给出精确可靠的堆内存使用量上界.
堆内存使用量上界、符号执行、循环处理、程序切片
57
TP301(计算技术、计算机技术)
国家自然科学基金资助项目60725206 90818024
2012-04-21(万方平台首次上网日期,不代表论文的发表时间)
465-471