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