别名是C/C++程序的典型特征之一,通过别名分析可以提高数据流分析的准确性并且将有助于构建性能良好的程序分析工具。本文在综述别名分析的作用及研究现状的基础上,对别名信息的收集、记录以及基于别名信息的推导进行了研究,设计并实现了一个以二叉决策图为基础的别名分析框架。首先,阐述了采用二叉决策图作为别名信息记录方式的优势,并给出了二叉决策图的构造及操作算法,在此基础上根据逻辑编程语言Datalog的基本语义,详细设计了别名信息表示与推导规则。其次,为了收集准确的别名信息,设计了一种交替进行过程内和过程间别名分析的机制,过程内采用流敏感、域敏感、路径敏感的分析方法,并且对于数组类型以及类型信息进行了处理,过程间采用基于总结的上下文敏感分析方法,这种机制的主要优点是提高了别名信息的准确性,减少了函数体的分析次数及时间开销。最后,本文论述了基于别名分析能够完成的部分安全检查。该别名分析方法已在C/C++安全检查工具中实现,实验证明此方法是有效的。