静态检测工具相关论文
静态分析方法可以自动地提取软件的行为信息，从而检测出软件中的安全漏洞。和其他程序分析方法相比，该方法具有自动化程度高和检测速......
针对如何降低静态检测工具的误报率、漏报率和重报率这些问题,本文研究设计一个基于静态检测工具的软件缺陷检测模型。该模型通过......
随着计算机软件技术的快速发展,由软件代码缺陷引起的安全问题也日趋严重。通过对静态分析技术以及静态检测工具的深入研究,针对当......
针对已有的使用单个静态检测工具进行源代码安全缺陷检测存在的漏报率和误报率很高的问题,提出了一种基于多种静态检测工具的检测......
由于C语言本身缺乏对内存边界的检查、不对接收参数类型做校验、安全保护机制和异常处理机制的缺失,使得C语言开发的软件存在安全......
一直以来,使用人工对软件进行代码检测都是软件测试的主要方式。但是伴随着软件代码的规模越来越大,软件代码的复杂度越来越高,完......
