| 上下文敏感的过程间指针分析 |
| |
| 引用本文： | 黄波,臧斌宇,韦俊银,朱传琪.上下文敏感的过程间指针分析[J].计算机学报,2000,23(5):477-485. |
| |
| 作者姓名： | 黄波 臧斌宇 韦俊银 朱传琪 |
| |
| 作者单位： | 复旦大学并行处理研究所,上海,200433 |
| |
| 基金项目： | 国家自然科学基金，教育部科学技术项目资助 |
| |
| 摘 要： | 提出了一种新的指针指向信息的过程间传播方法 ,对过程间指针分析所必须解决的若干重要问题给出了详尽的算法 ,从而形成了一种实用的上下文敏感的过程间指针分析框架 .该方法已在 C程序分析工具 Agassiz系统中实现 ,实验数据说明这些方法是行之有效的 .
|
| 关 键 词： | 上下文敏感 批针分析 C语言 程序设计 |
| 修稿时间： | 1999-05-19 |
Context-Sensitive Interprocedural Pointer Analysis |
| |
| HUANG Bo,ZANG Bin-Yu,WEI Jun-Yin,ZHU Chuan-Qi.Context-Sensitive Interprocedural Pointer Analysis[J].Chinese Journal of Computers,2000,23(5):477-485. |
| |
| Authors: | HUANG Bo ZANG Bin-Yu WEI Jun-Yin ZHU Chuan-Qi |
| |
| Abstract: | Interprocedural pointer analysis plays an important role in parallelizing C program. In this paper, a new approach to how to propagate point to information accross functions is introduced, detailed solutions to many important problems that exist in interprocedural pointer analysis are also presented. Based on these ideas, a context sensitive interprocedural pointer analysis algorithm, which has been implemented in Agassiz, an analyzing tool for C program, is introduced. Experimental results illustrate that the algorithm is effective. |
| |
| Keywords: | context sensitive pointer analysis interprocedural analysis extended parameter |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
