期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
基于程序分析的自动化漏洞挖掘工具的研究 被引量:2
1
作者 成全 刘金刚 《微计算机信息》 2011年第1期269-270,共2页
研究和设计了一个基于程序分析的源代码漏洞分析与检测工具框架,框架中的各个模块如控制流分析(控制流图的构建、函数调用图的实现及过程内分析与过程间分析等)、数据流分析(求定义引用链、污染数据传播的设计、指针别名分析)、结构分... 研究和设计了一个基于程序分析的源代码漏洞分析与检测工具框架,框架中的各个模块如控制流分析(控制流图的构建、函数调用图的实现及过程内分析与过程间分析等)、数据流分析(求定义引用链、污染数据传播的设计、指针别名分析)、结构分析器、安全调度器、规则构建器,本文主要对代码分析的两个阶段进行了较为详细的介绍,同时对主要采取的过程内和过程间分析算法做了说明。 展开更多
关键词 漏洞 代码分析 过程间分析
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部