| 基于存储访问模型的细粒度存储变量识别算法 |
| |
| 引用本文： | 井靖,蒋烈辉,何红旗,张媛媛. 基于存储访问模型的细粒度存储变量识别算法[J]. 计算机科学, 2015, 42(9): 171-176, 182 |
| |
| 作者姓名： | 井靖 蒋烈辉 何红旗 张媛媛 |
| |
| 作者单位： | 信息工程大学计算机科学与技术学院 郑州450000,信息工程大学计算机科学与技术学院 郑州450000;数学工程与先进计算国家重点实验室 郑州450000,信息工程大学计算机科学与技术学院 郑州450000;数学工程与先进计算国家重点实验室 郑州450000,72495部队自动化站 郑州450002 |
| |
| 基金项目： | 本文受国家自然科学基金项目(61272489)资助 |
| |
| 摘 要： | 现阶段对变量的识别通常采用基于特定编译习惯及内存访问地址模式匹配的方法,或基于内存模型和抽象解释的分析方法。前者针对性太强,不具备普适性；后者通常采用损失算法精度的方法来得到结果,这往往会造成识别变量粒度过大、漏识别和误识别率较高。首先定义一种存储访问模型,对存储操作进行细粒度的模拟；然后给出基于存储访问模型的抽象状态生成算法,实现了基于高级中间语言HBRIL的细粒度数据信息(抽象状态)的跟踪和记录；基于这些抽象状态设计了存储区域内的细粒度变量实体识别算法；最后通过测试给出变量识别的细化比例和识别率。由测试结果可以看出,该算法在动态分配变量的识别率方面具有明显优势。
|
| 关 键 词： | 细粒度内存访问模型 存储环境 存储操作模拟 变量实体 抽象状态 |
Fine-grained Variable Entity Identification Algorithm Based on Memory Access Model |
| |
| JING Jing,JIANG Lie-hui,HE Hong-qi and ZHANG Yuan-yuan. Fine-grained Variable Entity Identification Algorithm Based on Memory Access Model[J]. Computer Science, 2015, 42(9): 171-176, 182 |
| |
| Authors: | JING Jing JIANG Lie-hui HE Hong-qi ZHANG Yuan-yuan |
| |
| Affiliation: | Department of Computer Science and Technology,PLA Information Engineering University,Zhengzhou 450000,China,Department of Computer Science and Technology,PLA Information Engineering University,Zhengzhou 450000,China;State Key Laboratory of Mathematical Engineering and Advanced Computing,Zhengzhou 450000,China,Department of Computer Science and Technology,PLA Information Engineering University,Zhengzhou 450000,China;State Key Laboratory of Mathematical Engineering and Advanced Computing,Zhengzhou 450000,China and Automation Station,Union 72495,Zhengzhou 450002,China |
| |
| Abstract: | |
| |
| Keywords: | Fine-grained memory access model Memory environment Memory operation simulate Variant entity Abstract state |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
