中国科学院信息工程研究所胡静远获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉中国科学院信息工程研究所申请的专利基于控制流图切片的智能合约可重入漏洞检测方法及系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119885186B 。
龙图腾网通过国家知识产权局官网在2026-02-27发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411738820.0，技术领域涉及：G06F21/57；该发明授权基于控制流图切片的智能合约可重入漏洞检测方法及系统是由胡静远;苏鹏;张潇丹设计研发完成，并于2024-11-29向国家知识产权局提交的专利申请。
本基于控制流图切片的智能合约可重入漏洞检测方法及系统在说明书摘要公布了：本发明公开一种基于控制流图切片的智能合约可重入漏洞检测方法及系统，属于区块链安全技术领域。所述方法包括：构建智能合约的控制流图；以交易相关操作码为关键点切片所述控制流图后，合并切片控制流图；基于合并后的控制流图，生成该智能合约的可重入漏洞检测结果。本发明可以在部署智能合约之前对可重入漏洞进行有效检测。
本发明授权基于控制流图切片的智能合约可重入漏洞检测方法及系统在权利要求书中公布了：1.一种基于控制流图切片的智能合约可重入漏洞检测方法，其特征在于，所述方法包括： 构建智能合约的控制流图； 以交易相关操作码为关键点切片所述控制流图后，合并切片控制流图；其中，所述交易相关操作码包括：CALL操作码、CALLCODE操作码和DELEGATECALL操作码； 基于合并后的控制流图，生成该智能合约的可重入漏洞检测结果； 其中，所述以交易相关操作码为关键点切片所述控制流图，包括： 以包含CALL操作码的控制流图节点为核心节点，沿着有向边进行正向切片和反向切片，获取控制流图切片A； 以包含CALLCODE操作码的控制流图节点为核心节点，沿着有向边进行正向切片和反向切片，获取控制流图切片B； 以包含DELEGATECALL操作码的控制流图节点为核心节点，沿着有向边进行正向切片和反向切片，获取控制流图切片C； 所述基于合并后的控制流图，生成该智能合约的可重入漏洞检测结果，包括： 对于合并后的控制流图，分别将节点、边和该节点所对应的操作码映射为数字向量，以得到节点向量、边向量和节点语义向量； 融合节点语义向量、节点向量和边向量； 基于漏洞检测模型对融合向量进行分类，得到该智能合约的可重入漏洞检测结果；其中，所述漏洞检测模型基于机器学习算法构建。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中国科学院信息工程研究所，其通讯地址为：100085 北京市海淀区树村路19号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号
请提出您的宝贵建议，有机会获取IP积分或其他奖励