| 基于程序分析的自动化漏洞挖掘工具的研究 |
| |
| 引用本文： | 段成全,刘金刚.基于程序分析的自动化漏洞挖掘工具的研究[J].微计算机信息,2011(1):269-270. |
| |
| 作者姓名： | 段成全 刘金刚 |
| |
| 作者单位： | 首都师范大学 |
| |
| 摘 要： | 研究和设计了一个基于程序分析的源代码漏洞分析与检测工具框架,框架中的各个模块如控制流分析(控制流图的构建、函数调用图的实现及过程内分析与过程间分析等)、数据流分析(求定义引用链、污染数据传播的设计、指针别名分析)、结构分析器、安全调度器、规则构建器,本文主要对代码分析的两个阶段进行了较为详细的介绍,同时对主要采取的过程内和过程间分析算法做了说明。
|
| 关 键 词： | 漏洞 代码分析 过程间分析 |
Automated Tools of Digging Holes Based on Program Analysis |
| |
| DUAN Cheng-quan LIU Jin-gang.Automated Tools of Digging Holes Based on Program Analysis[J].Control & Automation,2011(1):269-270. |
| |
| Authors: | DUAN Cheng-quan LIU Jin-gang |
| |
| Affiliation: | DUAN Cheng-quan LIU Jin-gang |
| |
| Abstract: | |
| |
| Keywords: | Vulnerability code analysis inter-process analysis |
| 本文献已被 CNKI 等数据库收录！ |
