基于程序分析的自动化漏洞挖掘工具的研究

• 作者: 刘金刚 段成全
• 来源期刊: 科技与创新
• 关键词: 漏洞 代码分析 过程间分析
• 年，卷（期）: 2011,（1）
• 所属期刊栏目: 软件时空
• 页码范围: 269-270
• 分类号: TP360
• 语种: 中文
• DOI: 10.3969/j.issn.2095-6835.2011.01.107

摘要

研究和设计了一个基于程序分析的源代码漏洞分析与检测工具框架,框架中的各个模块如控制流分析(控制流图的构建、函数调用图的实现及过程内分析与过程间分析等)、数据流分析(求定义引用链、污染数据传播的设计、指针别名分析)、结构分析器、安全调度器、规则构建器,本文主要对代码分析的两个阶段进行了较为详细的介绍,同时对主要采取的过程内和过程间分析算法做了说明.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘金刚		94	784	14.0	24.0
2	段成全		1	2	1.0	1.0