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

龙图腾网获悉清科万道(北京)信息技术有限公司申请的专利一种代码级并发漏洞检测方法、电子设备及存储介质获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN121144165B 。

龙图腾网通过国家知识产权局官网在2026-03-20发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202511179977.9，技术领域涉及：G06F11/3604；该发明授权一种代码级并发漏洞检测方法、电子设备及存储介质是由黄瑛;董瑞丰;徐俊;左志平设计研发完成，并于2025-08-22向国家知识产权局提交的专利申请。

本一种代码级并发漏洞检测方法、电子设备及存储介质在说明书摘要公布了：本申请涉及漏洞检测技术领域，特别是涉及一种代码级并发漏洞检测方法、电子设备及存储介质。该方法包括：将目标代码输入AST解析器，获取目标代码对应的语法树；根据预设的并发函数库确定目标代码对应的语法树中是否存在并发函数节点；若存在并发函数节点，则根据预设的锁死函数库判断并发函数节点之前是否存在锁死函数节点；若不存在锁死函数节点，则判定目标代码存在并发漏洞；若存在锁死函数节点，则判断锁死函数节点对应的锁死函数是否正确，若不正确，则判定目标代码存在并发漏洞；若正确，则判断锁死函数节点是否存在启动条件，若存在启动条件，则根据启动条件判断目标代码是否存在并发漏洞。本发明能够在源码层面精准识别并发风险。

本发明授权一种代码级并发漏洞检测方法、电子设备及存储介质在权利要求书中公布了：1.一种代码级并发漏洞检测方法，其特征在于，所述方法包括以下步骤： S100，将目标代码输入AST解析器，获取目标代码对应的语法树； S200，根据预设的并发函数库确定目标代码对应的语法树中是否存在并发函数节点； S300，若存在并发函数节点，则根据预设的锁死函数库判断并发函数节点之前是否存在锁死函数节点； S400，若不存在锁死函数节点，则判定目标代码存在并发漏洞；若存在锁死函数节点，则进入S500； S500，判断锁死函数节点对应的锁死函数是否正确，若不正确，则判定目标代码存在并发漏洞；若正确，则进入S600； S600，判断锁死函数节点是否存在启动条件，若存在启动条件且启动条件存在错误，则判断目标代码存在并发漏洞； S500包括： S510，判断锁死函数是否存在范围错误，若存在，判断锁死函数不正确；否则，进入S520； S520，提取目标代码中所有锁的获取顺序，构建锁依赖图，若存在循环依赖，则判定锁死函数存在死锁风险，锁死函数不正确；否则，进入S530； S530，根据并发场景的特征，验证锁死函数的类型是否适配，若不适配，则判定锁死函数存在类型错误，锁死函数不正确。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人清科万道(北京)信息技术有限公司，其通讯地址为：102627 北京市大兴区经济开发区科苑路18号3幢一层A1272室；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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