| 改进的基于包含约束的指针分析法 |
| |
| 引用本文： | 崔应霞,李龙澍,姚晟. 改进的基于包含约束的指针分析法[J]. 华东理工大学学报(自然科学版), 2010, 36(4) |
| |
| 作者姓名： | 崔应霞 李龙澍 姚晟 |
| |
| 作者单位： | 安徽大学计算机科学与技术学院,合肥,230039;安徽大学计算机科学与技术学院,合肥,230039;安徽大学计算机科学与技术学院,合肥,230039 |
| |
| 基金项目： | 安徽省自然科学基金,安徽省科技攻关计划重大科技专项,安徽省教育厅重点项目 |
| |
| 摘 要： | 针对基于包含约束的指针分析法存在的主要问题是包含约束语言的限制性和约束图的简化,提出了一个基于包含约束语言的指针分析算法。首先对包含约束语言进行扩展,使其不再局限于几个基本形式,并进一步给出约束传播规则;然后一次性构建约束图,图中不再存在复杂边,整个分析过程由动态转化为静态;最后,提出一个算法对简化的约束图进行分析,得到指针信息。实验结果表明,该算法能够精确地分析出一个指针的任何级别脱引用的指向信息。
|
| 关 键 词： | 包含约束语言 约束传播规则 约束图简化 静态分析 |
Improved Inclusion-Based Pointer Analysis |
| |
| CUI Ying-xia,LI Long-shu,YAO Sheng. Improved Inclusion-Based Pointer Analysis[J]. Journal of East China University of Science and Technology, 2010, 36(4) |
| |
| Authors: | CUI Ying-xia LI Long-shu YAO Sheng |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
