改进的基于包含约束的指针分析法

摘要：

针对基于包含约束的指针分析法存在的主要问题是包含约束语言的限制性和约束图的简化,提出了一个基于包含约束语言的指针分析算法.首先对包含约束语言进行扩展,使其不再局限于几个基本形式,并进一步给出约束传播规则;然后一次性构建约束图.图中不再存在复杂边,整个分析过程由动态转化为静态;最后,提出一个算法对简化的约束图进行分析,得到指针信息.实验结果表明,该算法能够精确地分析出一个指针的任何级别脱引用的指向信息.

关键词：包含约束语言、约束传播规则、约束图简化、静态分析

所属期刊栏目：36

分类号：TP314(计算技术、计算机技术)

资助基金：安徽省自然科学基金090412054;安徽省科技攻关计划重大科技专项08010201002;安徽省教育厅重点项目KJ2009A001Z

在线出版日期：2016-05-06（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：563-567