文献类型：会议

作　　者：张广梅 李劲松

作者单位：山东农业大学 信息科学与工程学院计算机系，山东 泰安 271000 新汶矿业集团 通讯性信息中心，山东 泰安 271000

会议文献：第十三届全国容错计算学术会议论文集

会议名称：第十三届全国容错计算学术会议

会议日期：20090702

会议地点：海拉尔

主办单位：中国计算机学会

出版日期：20090702

语　　种：中文

摘　　要：两个指向同一内存空间的指针变量之间具有别名关系。应用程序中内存泄漏、指针变量解引用等错误的检测需要别名分析的支持。指针变量的指向关系分析可以准确地确定变量间的别名关系。流敏感的指针指向分析充分考虑了程序的控制结构、程序的执行路径对应用程序中的别名关系的影响。文中提出的扩展的指针指向关系表示方法记录了指针变量所指向的内存空间的及其特性，有效的支持了动态内存管理错误的检测。

关 键 词：动态内存管理 错误检测  流敏感  别名分析 指针指向关系  内存泄漏 指针解引用  

分 类 号：TP393.09] TP311.52[计算机类]