中山大学郑子彬获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉中山大学申请的专利一种智能合约漏洞检测方法及装置获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN114662119B 。
龙图腾网通过国家知识产权局官网在2026-03-17发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202210264346.7,技术领域涉及:G06F21/57;该发明授权一种智能合约漏洞检测方法及装置是由郑子彬;郝偲成;钟志杰设计研发完成,并于2022-03-17向国家知识产权局提交的专利申请。
本一种智能合约漏洞检测方法及装置在说明书摘要公布了:本申请公开一种智能合约漏洞检测方法及装置,本申请通过获取待测智能合约代码,将待测智能合约代码转化成静态单赋值形式,利用编译器将静态单赋值形式的待测智能合约代码编译成抽象语法树,根据预设规则对抽象语法树进行拆分,得到多个包含函数的函数级语法树,针对每一函数级语法树,根据预设的函数数据集,查找与函数级语法树中包含的函数对应的漏洞标签,并将函数级语法树与对应的漏洞标签组成目标数据集,对所述目标数据集进行漏洞分类,得到分类结果。由于本申请通过将待测智能合约代码转化成静态单赋值形式,并转化拆分成函数级语法树,对函数级语法树进行漏洞检测,相比于现有技术,提高了从函数程度上找出智能合约的代码漏洞的效率。
本发明授权一种智能合约漏洞检测方法及装置在权利要求书中公布了:1.一种智能合约漏洞检测方法,其特征在于,包括: 获取待测智能合约代码; 将所述待测智能合约代码转化成静态单赋值形式; 利用编译器将所述静态单赋值形式的待测智能合约代码编译成抽象语法树; 根据预设规则对所述抽象语法树进行拆分,得到多个包含函数的函数级语法树; 针对每一函数级语法树,根据预设的函数数据集,查找与所述函数级语法树中包含的函数对应的漏洞标签,并将所述函数级语法树与对应的漏洞标签组成目标数据集,所述函数数据集预先存储有函数与漏洞标签的对应关系; 对所述目标数据集进行漏洞分类,得到分类结果; 所述抽象语法树由包含类型名和变量名的节点构成,在对所述目标数据集进行漏洞分类之前,还包括: 将所述抽象语法树的节点中的类型名和变量名分别对应填入预设的对照表中,得到目标对照表,所述对照表用于记录类型名和变量名及对应标号; 将所述函数级语法树中相同的节点进行合并,并将合并后的函数级语法树转化成函数级代码图; 根据所述目标对照表,将所述函数级代码图的节点中的类型名及变量名转化成对应的标号,得到标号形式的函数级代码图; 将所述标号形式的函数级代码图与所述漏洞标签组成新的目标数据集; 对所述目标数据集进行漏洞分类,得到分类结果的过程,包括: 对所述新的目标数据集进行漏洞分类,得到分类结果。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人中山大学,其通讯地址为:510275 广东省广州市新港西路135号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

皖公网安备 34010402703815号
请提出您的宝贵建议,有机会获取IP积分或其他奖励