| C语言的别名分析方法研究 |
| |
| 引用本文： | 丁斌,张志祥. C语言的别名分析方法研究[J]. 计算机与数字工程, 2011, 39(2): 60-63 |
| |
| 作者姓名： | 丁斌 张志祥 |
| |
| 作者单位： | 海军工程大学计算机工程系,武汉,430033 |
| |
| 摘 要： | 别名分析对于数据流分析、程序优化和分析工具的实现非常重要.文章提出了一种需求驱动,流非敏感的分析算法来解决指针别名问题.通过构造程序表达式图(PEG)把指针别名问题转化成判断两个指针节点是否是联通的问题,它不同于传统的别名分析方法,它不需要构造别名集合和对其求交集,所以提高了分析指针别名的效率.
|
| 关 键 词： | 指针分析 需求驱动分析 别名分析 |
Demand-Driven Alias Analysis for C |
| |
| Ding Bin,Zhang Zhixiang. Demand-Driven Alias Analysis for C[J]. Computer and Digital Engineering, 2011, 39(2): 60-63 |
| |
| Authors: | Ding Bin Zhang Zhixiang |
| |
| Affiliation: | Ding Bin Zhang Zhixiang(Department of Computer Engineering,Naval University of Engineering,Wuhan 430033) |
| |
| Abstract: | It is important for alias analysis to analyse data flow,optimize program and realize a analysis tool.This paper proposes a demand-driven,flow-insensitive analysis algorithm for point-to alias analysis.A program expression graph is constructed and convert point-to alias analysis to connecting of two nodes in graph.This algorithm differs from traditional points-to analysis,it does not construct points-to set or intersect these set.So this approach leverages may-alias analysis. |
| |
| Keywords: | pointer analysis demand-driven analysis alias analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
