| 基于系统依赖图的过程间指针分析方法 |
| |
| 引用本文： | 王甜甜,马培军,苏小红,郭全萍.基于系统依赖图的过程间指针分析方法[J].系统工程与电子技术,2010,32(3):614-619. |
| |
| 作者姓名： | 王甜甜 马培军 苏小红 郭全萍 |
| |
| 作者单位： | (哈尔滨工业大学计算机科学与技术学院， 黑龙江 哈尔滨 150001) |
| |
| 基金项目： | 国家自然科学基金(60673035)资助课题 |
| |
| 摘 要： | 针对目前指针分析算法的程序中间表示形式不能充分表示程序的语法结构与语义，因而不适合应用于源代码-源代码级别的程序转换与分析的问题，提出了一种基于系统依赖图的过程间指针别名分析算法。改进了指针别名信息的表示方法，精确描述数组元素和指针数组元素的别名。以系统依赖图作为程序的中间表示形式，在每个过程调用节点，根据是否为递归调用，分别采用改进的Banning算法和函数内联的方法处理因参数传递引起的别名信息。实验结果表明，该方法的准确性高于Wilson算法和Emami算法，且指针分析结果可直接应用于源代码级别的程序分析与转换中。
|
| 关 键 词： | 系统依赖图 指针别名 流敏感 上下文敏感 |
Interprocedural pointer analysis based on system dependence graph |
| |
| WANG Tian-tian,MA Pei-jun,SU Xiao-hong,GUO Quan-ping.Interprocedural pointer analysis based on system dependence graph[J].System Engineering and Electronics,2010,32(3):614-619. |
| |
| Authors: | WANG Tian-tian MA Pei-jun SU Xiao-hong GUO Quan-ping |
| |
| Institution: | (Dept. of Computer Science and Technology， Harbin Inst. of Technology， Harbin 150001, China) |
| |
| Abstract: | |
| |
| Keywords: | system dependence graph pointer alias flow-sensitive context-sensitive |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《系统工程与电子技术》浏览原始摘要信息 |
| 点击此处可从《系统工程与电子技术》下载免费的PDF全文 |
