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

龙图腾网获悉烟台大学申请的专利基于污点分析的智能合约漏洞检测方法和系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN120197178B 。

龙图腾网通过国家知识产权局官网在2025-10-14发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202510314768.4，技术领域涉及：G06F21/57；该发明授权基于污点分析的智能合约漏洞检测方法和系统是由赵相福;王世纪设计研发完成，并于2025-03-18向国家知识产权局提交的专利申请。

本基于污点分析的智能合约漏洞检测方法和系统在说明书摘要公布了：本发明涉及漏洞检测领域，具体为一种基于污点分析的智能合约漏洞检测方法和系统，对智能合约的EVM字节码进行控制流分析，提取控制流图中的关键操作指令和每条关键操作指令的关键参数；基于定义的访问权限控制条件对EVM字节码进行访问权限控制识别，标识出访问权限控制检查和访问权限控制状态变量；然后基于关键操作指令、访问权限控制状态变量设置污点汇，进行污点分析，通过符号执行生成污点流路径的约束条件，高效且准确地将智能合约中预期的正常操作与真正的安全漏洞区分开来，对约束条件取反，得到否定约束条件，进一步对否定约束条件进行求解，显著提升智能合约安全分析的精准度与可靠性，为智能合约的安全保障提供有力支撑。

本发明授权基于污点分析的智能合约漏洞检测方法和系统在权利要求书中公布了：1.一种基于污点分析的智能合约漏洞检测方法，其特征在于，包括以下步骤： S1、将智能合约编译为EVM字节码，对EVM字节码进行控制流分析，得到控制流图，获取控制流图中的若干条关键操作指令； 提取每条关键操作指令的关键参数，在控制流图上对关键参数进行后向切片，获得包含由攻击者直接或间接控制指令的切片，构建切片集； S2、基于定义的访问权限控制条件对EVM字节码进行访问权限控制识别：对EVM字节码中每个条件语句进行向后数据流分析，将含有切片集中指令的条件语句标识为访问权限控制检查，基于所有访问权限控制检查构建条件集； 将访问权限控制检查对应访问的存储位置标识为访问权限控制状态变量； S3、将包含执行操作的用户输入设置为污点源，将关键操作指令的地址参数、写入访问权限控制状态变量的SSTORE指令设置为污点汇，基于污点源、污点汇在控制流图上进行污点分析，将被污染的操作数标记为污点； S4、对流向访问权限控制状态变量的污点所在的污点流路径进行符号执行，生成污点流路径的约束条件，对约束条件进行求解，如果能够找到使约束条件成立的值，则对约束条件取反，得到否定约束条件； 进一步对否定约束条件进行求解，如果能够找到使否定约束条件成立的值，则将污点对应的操作数标记为预期正常行为，如果不能找到，则将污点对应的操作数标记为访问权限控制漏洞，获得漏洞检测结果。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人烟台大学，其通讯地址为：264005 山东省烟台市莱山区清泉路30号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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