论文部分内容阅读
建立了一个具有常见漏洞的测试代码，然后通过扫描测试代码来比较3个典型应用静态分析技术来防范入侵的常用工具。比较结果揭示了检查漏洞库函数的工具漏报率较低，但误报率较高；基于约束分析的工具误报率较低，但漏报率较高；利用软件模型来检测漏洞的工具在检测违背指定安全规则的漏洞时漏报率较低，但在检测具有许多安全漏洞类型的程序时漏报率却非常低。