恭喜南京邮电大学黄海平获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网恭喜南京邮电大学申请的专利一种智能合约的细粒度漏洞检测方法、系统、装置及存储介质获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN119598475B 。
龙图腾网通过国家知识产权局官网在2025-05-16发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202510140022.6,技术领域涉及:G06F21/57;该发明授权一种智能合约的细粒度漏洞检测方法、系统、装置及存储介质是由黄海平;耿辰;彭冠超;马瑞良;常舒予;吴敏;高汉成;薛凌妍设计研发完成,并于2025-02-08向国家知识产权局提交的专利申请。
本一种智能合约的细粒度漏洞检测方法、系统、装置及存储介质在说明书摘要公布了:本发明公开了一种智能合约的细粒度漏洞检测方法、系统、装置及存储介质,属于智能合约漏洞检测技术领域。方法包括获取包括若干语句的待检测智能合约代码数据;根据语句的节点类型遍历待检测智能合约代码数据生成代码控制流集合;将代码控制流集合输入提示模版中得到各代码控制流对应的提示文本嵌入序列;将各代码控制流对应的提示文本嵌入序列输入残差网络中,经过残差重参数化操作转换为重参数化嵌入序列;将重参数化嵌入序列输入细粒度漏洞检测模型,得到待检测智能合约的漏洞集合,对各代码控制流对应的漏洞进行评分计算,并按评分计算结果进行排序得到细粒度漏洞检测结果。本发明实现检测存在漏洞的代码控制流,得到细粒度漏洞检测结果。
本发明授权一种智能合约的细粒度漏洞检测方法、系统、装置及存储介质在权利要求书中公布了:1.一种智能合约的细粒度漏洞检测方法,其特征在于,包括:获取包括若干语句的待检测智能合约代码数据;根据所述语句的节点类型遍历待检测智能合约代码数据,生成代码控制流集合;将代码控制流集合输入预先获取的提示模版中,得到各代码控制流对应的提示文本嵌入序列;将各代码控制流对应的提示文本嵌入序列输入残差网络中,经过残差重参数化操作转换为重参数化嵌入序列;将所述重参数化嵌入序列输入预先训练好的细粒度漏洞检测模型,得到待检测智能合约的漏洞集合,对漏洞集合中各代码控制流对应的漏洞进行评分计算,并按评分计算的结果进行排序得到细粒度漏洞检测结果;其中,根据所述语句的节点类型遍历待检测智能合约代码数据,生成代码控制流集合,包括:所述语句的节点类型包括常规节点、条件判断节点、循环判断节点、入口节点和出口节点;遍历待检测智能合约代码数据,表示为: ;其中,表示待检测智能合约代码数据的语句集合,表示第1,第2,…,第个语句,表示语句总数;对于待检测智能合约代码数据的语句集合中任一入口节点,将其加入对应代码控制流,并将对应代码控制流作为当前代码控制流,判断入口节点的当前后续语句的节点类型,;若当前后续语句为常规节点,则将当前后续语句加入当前代码控制流,并继续遍历下一语句;若当前后续语句为条件判断节点,则创建一个与当前代码控制流相同的第一同步代码控制流,将当前后续语句和判断成功的成功语句加入当前代码控制流,将当前后续语句和判断失败的失败语句加入第一同步代码控制流,分别遍历成功语句和失败语句的后续语句;若当前后续语句为循环判断节点,则创建一个与当前代码控制流相同的第二同步代码控制流,将当前后续语句和判断成功的循环语句加入当前代码控制流,将当前后续语句和判断失败跳出循环的非循环语句加入第二同步代码控制流,分别遍历循环语句和非循环语句的后续语句;若当前后续语句为出口节点,则将当前后续语句加入当前代码控制流后结束当前遍历;遍历待检测智能合约代码数据中的全部入口节点后,得到代码控制流集合,表示为: ;其中,表示代码控制流集合,表示第1,第2,…,第个代码控制流,表示代码控制流总数,其等于入口节点的数量。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人南京邮电大学,其通讯地址为:210023 江苏省南京市栖霞区文苑路9号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。