检测漏洞对于无法完全防止引入一类漏洞的现有源代码，例如，由于编程语言和，或API的选择是由其他因素决定的，应用技术来检测是有用的在软件的开发、测试和，或维护阶段，代码中存在漏洞，检测漏洞的技术必须在检测技术可以具有的以下两个良好属性之间进行权衡，•如果检测技术可以正确得出结论，给定程序没有该类别的漏洞，则检测技术对于给定类别的漏洞是合...。