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

软件源代码安全缺陷检测技术研究进展综述 摘要：软件安全缺陷检测安全关键软件设计使用的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 softwareThis paper will give out eight kinds of new technology about the software security detection based on eight cutting-edge papers. design. Key words: source code; safety defects; static test tools; statistical analysis; defectives description 1引言： 近年来,随着软件事业的发展,人们逐渐的认识到,想要开发出高质