源代码漏洞检测针对软件设计开发阶段,通过提取源代码模型和漏洞规则,基于静态程序分析技术检测源代码中的漏洞,具有代码覆盖率高、漏报低的优点,但对已知漏洞的依赖性较大,误报较高。源代码漏洞检测方法主要包括基于中间表示的漏洞检测和基于逻辑推理的漏洞检测。基于中间表示的漏洞检测方法首先将源代码转换为有利于漏洞检...