一种软件脆弱性自动分析定位的方法

• 作者: 王同磊 陈朝晖
• 来源期刊: 空间控制技术与应用
• 学科: 工学
• 关键词: 软件脆弱性 程序切片 程序谱 脆弱性定位
• 年，卷（期）: 2018,（2）
• 所属期刊栏目: 论文与报告
• 页码范围: 73-78
• 页数: 6页
• 分类号: TP31
• 字数: 4641字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-1579.2018.02.013

摘要

为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求,设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术,改进现有的前向计算动态切片算法,利用动态程序切片收集程序运行时的动态信息,构造程序切片谱,设定相关统计量统计程序语句的脆弱性可疑度,生成脆弱性定位报告.在发现软件中存在的脆弱性后,该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析,实验证明了该方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈朝晖		20	32	3.0	5.0
2	王同磊		2	0	0.0	0.0