摘要
源代码分析技术对于软件安全缺陷分析是一项非常重要的手段。分析了软件源代码分析工具的技术手段和发展过程,最后对源代码分析的理论和实践进行了分析总结。
Source code analysis is an important technique for analyzing software secure vulnerabilities.Development of these technical means are analyzed,and theory and practice of source code analysis are discussed.
出处
《计算机安全》
2011年第1期7-10,共4页
Network & Computer Security
基金
国家863计划(2009AA01Z403
2009AA01Z435)资助
关键词
源代码分析
静态分析
程序分析
安全性分析
Source code analysis
static analysis
software analysis
secure analysis
