首页 专利交易 科技果 科技人才 科技服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索

【发明公布】基于快照和LLM的智能合约漏洞模糊测试方法_西安邮电大学_202410129313.0 

申请/专利权人:西安邮电大学

申请日:2024-01-30

公开(公告)日:2024-04-30

公开(公告)号:CN117951020A

主分类号:G06F11/36

分类号:G06F11/36;G06F21/57;G06F8/60;G06F8/41

优先权:

专利状态码:在审-实质审查的生效

法律状态:2024.05.17#实质审查的生效;2024.04.30#公开

摘要:本发明属于软件测试领域,具体涉及智能合约漏洞检测问题,提供了基于快照和LLM的智能合约漏洞模糊测试方法。本方法首先将插桩后的字节码文件部署到本地区块链节点,并初始化状态交易对语料库和婴态语料库。在模糊测试探索阶段,从状态交易对语料库中选取状态交易对进行变异和执行,同时监测路径点覆盖率变化,将能够提高覆盖率的状态交易对放入状态交易对语料库中,动态监测EVM的加载和存储指令来更新婴态语料库,当覆盖率停滞时,激活LLM模块以生成额外的交易序列,最后,测试循环使用更新后的语料库继续执行,直至达到预定的测试时间。本发明提供了一种指令覆盖率高且开销小的智能合约漏洞模糊测试方法。

主权项:1.基于快照和LLM的智能合约漏洞模糊测试方法,其特征包括以下步骤:步骤A:智能合约编译部署与模糊测试环境初始化;步骤B:模糊测试探索;步骤C:LLM模块激活与额外交易序列生成;步骤D:模糊测试终止。

全文数据:

权利要求:

百度查询: 西安邮电大学 基于快照和LLM的智能合约漏洞模糊测试方法

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。