一种程序中指针别名分析方法

摘要

本发明公开了一种程序中指针别名分析方法，应用于程序分析领域。所述方法包括：在程序运行过程中维护一个存储程序中所有指针指向信息的全局数据结构；当指针被声明时，在所述全局数据结构中添加一条新记录；当指针被赋值引用时，根据赋值表达式的右值及其对应内存地址空间类型来动态更新所述全局数据结构中相应记录；在程序运行结束前或结束时，输出指定位置指定指针或所有指针的别名关系。本发明提出的方法能够提供程序运行过程中任意位置的指针别名关系，适用于过程内或过程间的指向堆或栈上变量的指针别名分析。

主权项

一种程序中指针别名分析方法，其特征在于包括：在程序运行过程中维护一个全局数据结构，用于存储程序中所有指针的指向信息；当指针被声明时，在所述全局数据结构中添加一条新纪录；当指针被赋值引用时，根据赋值表达式的右值及其对应内存地址空间类型来动态更新所述全局数据结构中相应记录；在程序运行结束前或结束时，输出指定位置指定指针或所有指针的别名关系。