一种高效检测源代码安全漏洞的代码审查方法 |
| |
作者单位: | ;1.中国电力科学研究院南京分院 |
| |
摘 要: | 目前代码安全审查和白盒安全测试被广泛用于分析源代码并检测安全漏洞。这里描述一种基于安全特性参照树的更高效的代码安全审查方法,其中安全特性提取于源代码中所有可操作的内容。这种方法只在源代码层面进行安全检查,可以大大减少错误代码行为,并为自动化安全审查提供了有效的解决方案。
|
关 键 词: | 代码安全检测 漏洞检测 代码审查 参考树 |
An efficient code audit method to detect source code security vulnerability |
| |
Abstract: | |
| |
Keywords: | |
|
|