论文部分内容阅读
静态检测工具目前面临严重的误报、重报、漏报等问题,针对这些问题本文将拟建一个以静态检测工具为基础的检测模型,用以模拟缺陷检测。该软件可以针对静态检测工具所得结果开展多级处理,通过此方法避免检测工具的重报、漏报、误报,最后,采用两种静态检测工具所得结果应用于这个模型,通过模拟证实该模型可以有效避免以上问题,大大增强了工具的可操作性和实用性以及结果的可靠性。