基于Open64的可信指针分析框架研究

• 作者: 刘捡平 周西柳
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 可信指针 流敏感 上下文敏感 扩展SSA 需求驱动
• 年，卷（期）: 2012,（12）
• 所属期刊栏目: 应用技术与研究
• 页码范围: 255-258,290
• 页数: 5页
• 分类号: TP311
• 字数: 5540字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2012.12.072

摘要

提出保障程序可信性的指针分析基础架构,为上层提供通用和丰富的接口及数据信息,不仅能够完成高效精确的指针分析,同时还为上层软件检测提供可信支持.该框架采用一种高效的流敏感、上下文敏感的可信指针分析技术,该方法充分利用扩展SSA形式,采用稀疏存储形式,提高了流敏感的分析效率.同时将需求驱动的分析策略引入到可信指针分析框架中来,能够有效地避免盲目的程序分析,使可信指针分析更具针对性,大大提高了分析的性能.最后通过实验验证了该框架进行可信指针分析的高效性和准确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周西柳	新余学院数学与计算机科学学院	17	59	4.0	7.0
2	刘捡平	新余学院数学与计算机科学学院	7	30	3.0	5.0