一种高效检测源代码安全漏洞的代码审查方法

摘要：

目前代码安全审查和白盒安全测试被广泛用于分析源代码并检测安全漏洞。这里描述一种基于安全特性参照树的更高效的代码安全审查方法，其中安全特性提取于源代码中所有可操作的内容。这种方法只在源代码层面进行安全检查，可以大大减少错误代码行为，并为自动化安全审查提供了有效的解决方案。

关键词：代码安全检测、漏洞检测、代码审查、参考树

分类号：TN915.08-34;TP393

资助基金：面向电网信息基础平台的信息安全防御关键技术研究EPRIXXKJ[2014]2242

在线出版日期：2015-03-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：83-86