期刊文章详细信息
上下文敏感的过程间指针分析 ( EI收录)
Context Sensitive Interprocedural Pointer Analysis
文献类型：期刊文章
机构地区：[1]复旦大学并行处理研究所,上海200433
基 金：国家自然科学基金;教育部科学技术项目资助
年 份：2000
卷 号：23
期 号：5
起止页码：477-485
语 种：中文
收录情况：BDHX、BDHX1996、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI(收录号：2001115501599)、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、核心刊
摘 要：提出了一种新的指针指向信息的过程间传播方法 ,对过程间指针分析所必须解决的若干重要问题给出了详尽的算法 ,从而形成了一种实用的上下文敏感的过程间指针分析框架 .该方法已在 C程序分析工具 Agassiz系统中实现 ,实验数据说明这些方法是行之有效的 .
关 键 词：上下文敏感 批针分析 C语言 程序设计
分 类 号：TP311]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
