| 流敏感的跨过程指针别名分析 |
| |
| 引用本文： | 李健,刘坚.流敏感的跨过程指针别名分析[J].计算机应用,2004,24(3):112-114. |
| |
| 作者姓名： | 李健 刘坚 |
| |
| 作者单位： | 西安电子科技大学,软件工程研究所,陕西,西安,710071 |
| |
| 基金项目： | 武器装备预研基金项目 (51 40 6 0 70 1 0 1DZ0 1 51 ) |
| |
| 摘 要： | 对指针别名及其表示方式进行了阐述。描述了跨过程指针别名分析的框架，通过在分析时创建PCG(程序调用图)来处理函数指针。研究了基于此框架的一个流敏感的跨过程指针别名分析算法，算法是跨过程阶段和过程内阶段交叉进行的。最后对算法进行了实例分析和验证。
|
| 关 键 词： | 指针剐名 流敏感 跨过程 程序分析 |
| 文章编号： | 1001-9081(2004)09-0112-03 |
Flow-sensitive Interprocedural Pointer Alias Analysis |
| |
| LI Jian,LIU Jian.Flow-sensitive Interprocedural Pointer Alias Analysis[J].journal of Computer Applications,2004,24(3):112-114. |
| |
| Authors: | LI Jian LIU Jian |
| |
| Abstract: | Pointer alias and its representation are illustrated. A framework for interprocedural pointer alias analysis is described. It handles function pointers by constructing the program call graph while alias analysis is being performed. And an analysis algorithm of flow-sensitive interprocedural pointer alias is investigated. The major characteristic is the alternation of the intraprocedural and interprocedural phases. Finally, the empirical analysis and verification of the algorithm is provided. |
| |
| Keywords: | pointer alias flow-sensitive interprocedural program analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
