从变量的初始化中获取指针指向信息

摘要

从变量的初始化中获取指针指向信息是完整的指针分析不可缺少的一个重要环节,它有助于提高其它数据流分析的准确性.文中提出了一个实用的从变量的初始化中获取指针指向信息的方法.在此方法中,变量的初始化首先被转换成语义等价的语句序列,然后在指针分析的过程中融入对这些语句序列的分析而求取出相关的指针指向信息.这个方法被实现在复旦大学并行处理研究所开发的C程序分析工具Agassiz系统内,实验数据说明是非常有效的.