精确的堆内存使用量上界分析

摘要：

基于符号执行框架分析了程序堆内存使用量的符号化上界.首先扩展了经典符号执行技术中的内存模型,针对堆内存分配与释放操作进行建模,维护堆内存的使用量信息,然后针对＂平板循环＂、带分支循环等常见循环结构给出了特殊处理策略,并采用程序切片技术缩减程序分析的规模.最后基于开源符号执行工具KLEE设计实现了一个堆内存使用量上界分析原型工具.实验结果证明,该工具能够针对很多常见程序给出精确可靠的堆内存使用量上界.

关键词：堆内存使用量上界、符号执行、循环处理、程序切片

所属期刊栏目：57

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目60725206 90818024

在线出版日期：2012-04-21（万方平台首次上网日期，不代表论文的发表时间）

页码：465-471