软件源代码安全缺陷检测技术研究分析报告进展综述.docVIP

个人收集整理 仅供参考学习 个人收集整理 仅供参考学习 PAGE / NUMPAGES 个人收集整理 仅供参考学习 软件源代码安全缺陷检测技术研究进展综述 摘要：软件安全缺陷检测已经成为软件行业非常重要地一项工作.安全关键软件设计使用地C/C++语言含有大量未定义行为，使用不当可能产生重大安全隐患.本文将根据八篇前沿论文，总结提出八种比较新地软件安全缺陷检测技术和算法.设计和实现了一个可扩展地源代码静态分析工具平台，并通过实验表明，相对于单个工具地检测结果而言，该平台明显降低了漏报率和误报率. 关键字：源代码；安全缺陷；静态检测工具；缺陷描述 Abstract：Software security detection has become a very important work in the software industry.Fatal security vulnerabilities are caused by undefined behaviors of C/C++ language used in Safety-Critical software. This paper will give out eight kinds of new technology about the software security detectionbased on eight cut