代码漏洞检测方法

本申请涉及一种代码漏洞检测方法，涉及计算机技术领域。所述方法包括：获取待检测代码；对待检测代码进行预处理，得到规范化的源代码表示；基于源代码表示构建抽象语法树；基于抽象语法树构建中间表示；其中，中间表示包括：核心表达式集合、目标控制流图和目标函数调用图；基于目标控制流图和目标函数调用图构建目标值依赖图；基于目标值依赖图和目标控制流图进行约束提取，得到目标约束表达式；将目标约束表达式输入约束求解器，得到漏洞检测结果。本申请的代码漏洞检测方法可以实现高精度、低误报、强上下文感知的代码漏洞检测，更加适用于对安全性要求严苛的场景。