10.3969/j.issn.1002-137X.2012.09.026
一种面向堆操作程序内存安全性的域敏感内存模型
堆操作程序具有通过共享易变数据结构动态操纵堆内存单元的特性,使得内存安全性难以保证.针对这个问题,提出了一种域敏感的k-limit内存抽象模型,以支持动态调整抽象的粒度,取得静态分析在精度和效率上的平衡.分别从框架、性质、操作方面介绍了该内存模型,然后结合内存安全性的定义,在基于该模型的操作语义框架内定义了4种与内存安全性相关的错误类型,最后设计了基于该模型内存安全性检测的数据流迭代算法.
堆操作程序、内存安全性、k-limit内存抽象模型、动态可调节
39
TP301(计算技术、计算机技术)
国家自然科学基金61120106006,90818024
2012-11-19(万方平台首次上网日期,不代表论文的发表时间)
共7页
109-114,151