买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉中国电子产品可靠性与环境试验研究所((工业和信息化部电子第五研究所)(中国赛宝实验室))申请的专利代码漏洞检测方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN121349837B 。

龙图腾网通过国家知识产权局官网在2026-04-10发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202511916121.5，技术领域涉及：G06F11/3604；该发明授权代码漏洞检测方法是由杨晓明;许嘉熙;张宝林;尚京威;林立亚;黄智昌设计研发完成，并于2025-12-18向国家知识产权局提交的专利申请。

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

本发明授权代码漏洞检测方法在权利要求书中公布了：1.一种代码漏洞检测方法，其特征在于，所述方法包括： 获取待检测代码； 对所述待检测代码进行预处理，得到规范化的源代码表示； 基于所述源代码表示构建抽象语法树； 基于所述抽象语法树构建中间表示；其中，所述中间表示包括：核心表达式集合、目标控制流图和目标函数调用图； 基于所述目标控制流图和所述目标函数调用图构建目标值依赖图； 基于所述目标值依赖图和所述目标控制流图进行约束提取，得到目标约束表达式，包括：基于所述目标值依赖图中的每条值依赖边及守卫条件，并结合所述目标控制流图中对应的基本块与执行路径信息，得到待处理的语义控制上下文队列；将所述语义控制上下文队列中的每个上下文根据其核心表达式操作和守卫条件转化为初始约束表达式，得到初步约束表达式集合；对所述初步约束表达式集合进行常量传播、区间分析和循环结构精化处理，得到优化约束表达式集合；对所述优化约束表达式集合进行程序切片裁剪，以去除无关语句引入的冗余变量和路径条件并保留关键值依赖信息，得到所述目标约束表达式； 将所述目标约束表达式输入约束求解器，得到漏洞检测结果，包括：将所述目标约束表达式输入约束求解器，得到约束求解结果；对所述约束求解结果进行分析，以识别满足危险条件的可行路径，得到潜在漏洞路径集合；将所述潜在漏洞路径集合映射回所述目标控制流图和所述目标值依赖图中的具体程序位置，得到所述漏洞检测结果。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中国电子产品可靠性与环境试验研究所((工业和信息化部电子第五研究所)(中国赛宝实验室))，其通讯地址为：511370 广东省广州市增城区朱村街朱村大道西78号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。