基于存储访问模型的细粒度存储变量识别算法

摘要：

现阶段对变量的识别通常采用基于特定编译习惯及内存访问地址模式匹配的方法,或基于内存模型和抽象解释的分析方法.前者针对性太强,不具备普适性;后者通常采用损失算法精度的方法来得到结果,这往往会造成识别变量粒度过大、漏识别和误识别率较高.首先定义一种存储访问模型,对存储操作进行细粒度的模拟;然后给出基于存储访问模型的抽象状态生成算法,实现了基于高级中间语言HBRIL的细粒度数据信息(抽象状态)的跟踪和记录;基于这些抽象状态设计了存储区域内的细粒度变量实体识别算法;最后通过测试给出变量识别的细化比例和识别率.由测试结果可以看出,该算法在动态分配变量的识别率方面具有明显优势.

关键词：细粒度内存访问模型、存储环境、存储操作模拟、变量实体、抽象状态

所属期刊栏目：42

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

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

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

页数：共7页

页码：171-176,182