面向软件可信性的可信指针分析技术综述

摘要：

对可信指针分析技术的定义和描述、指针分析对软件可信性的保障、可信指针分析属性以及该领域主要研究成果等方面进行了综述.通过对现有可信指针分析技术的分析和比较,详细讨论了面向软件可信性的可信指针分析的关键技术；此外,重点介绍了流敏感指针分析及上下文敏感指针分析的方法和理论；最后对进一步研究工作的方向进行了展望.

关键词：软件可信、程序分析技术、可信指针分析、流敏感分析、上下文敏感分析

所属期刊栏目：29

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

资助基金：高校青年教师科研启动基金

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

页数：共5页

页码：427-431