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

• 作者: 姚宇峰
• 来源期刊: 计算机应用研究
• 关键词: 软件可信 程序分析技术 可信指针分析 流敏感分析 上下文敏感分析
• 年，卷（期）: 2012,（2）
• 所属期刊栏目: 综述评论
• 页码范围: 427-431
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2012.02.005

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	姚宇峰	常熟理工学院计算机科学与工程学院	14	67	4.0	8.0