-
题名基于存储访问模型的细粒度存储变量识别算法
- 1
-
-
作者
井靖
蒋烈辉
何红旗
张媛媛
-
机构
信息工程大学计算机科学与技术学院
数学工程与先进计算国家重点实验室
[
-
出处
《计算机科学》
CSCD
北大核心
2015年第9期171-176,182,共7页
-
基金
国家自然科学基金项目(61272489)资助
-
文摘
现阶段对变量的识别通常采用基于特定编译习惯及内存访问地址模式匹配的方法,或基于内存模型和抽象解释的分析方法。前者针对性太强,不具备普适性;后者通常采用损失算法精度的方法来得到结果,这往往会造成识别变量粒度过大、漏识别和误识别率较高。首先定义一种存储访问模型,对存储操作进行细粒度的模拟;然后给出基于存储访问模型的抽象状态生成算法,实现了基于高级中间语言HBRIL的细粒度数据信息(抽象状态)的跟踪和记录;基于这些抽象状态设计了存储区域内的细粒度变量实体识别算法;最后通过测试给出变量识别的细化比例和识别率。由测试结果可以看出,该算法在动态分配变量的识别率方面具有明显优势。
-
关键词
细粒度内存访问模型
存储环境
存储操作模拟
变量实体
抽象状态
-
Keywords
Fine-grained memory access model, Memory environment, Memory operation simulate, Variant entity, Ab- stract state
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
