一种面向堆操作程序内存安全性的域敏感内存模型

作     者：董龙明 王戟 陈立前 刘江潮 DONG Long-ming;WANG Ji;CHEN Li-qian;LIU Jiang-chao

作者机构：国防科技大学计算机学院并行与分布处理国家重点实验室长沙410073 

基　　金：国家自然科学基金(61120106006 90818024)资助 

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2012年第39卷第9期

页      码：109-114,151页

摘      要：堆操作程序具有通过共享易变数据结构动态操纵堆内存单元的特性,使得内存安全性难以保证。针对这个问题,提出了一种域敏感的k-limit内存抽象模型,以支持动态调整抽象的粒度,取得静态分析在精度和效率上的平衡。分别从框架、性质、操作方面介绍了该内存模型,然后结合内存安全性的定义,在基于该模型的操作语义框架内定义了4种与内存安全性相关的错误类型,最后设计了基于该模型内存安全性检测的数据流迭代算法。

主 题 词：堆操作程序 内存安全性 k-limit内存抽象模型 动态可调节 

学科分类：08[工学] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1002-137X.2012.09.026

馆 藏 号：203571912...