公开(公告)号：CN116881668A

公开(公告)日：2023-10-13

申请号：CN202311058259.7

申请日：2023-08-22

Applicant: 哈尔滨工程大学 ,  哈尔滨工程大学三亚南海创新发展基地 ,  海南俊码数据研究院有限公司

Inventor： 庄园 ,  樊泽楷 ,  刘昊洋 ,  王诚 ,  段毅航 ,  蔡成涛 ,  王巍 ,  李承国 ,  王小芳 ,  杨明刚 ,  陈征平 ,  陈志远 ,  李晋 ,  曹雪 ,  冯晓宁 ,  付岩 ,  关键 ,  兰海燕 ,  李智慧 ,  刘海波

IPC: G06F18/20 ,  G06F18/22 ,  G06F18/25 ,  G06N3/0464 ,  G06N3/08

Abstract: 本发明提出基于跨模态预训练模型的智能合约相似性检测方法，包括：构建智能合约的控制流图；提取所述智能合约中的注释信息，将所述控制流图与所述注释信息进行对应，获取对应图；将所述对应图中的信息输入预设的跨模态预训练模型，获取合约的特征表示向量；基于所述特征表示向量，通过阈值进行合约相似性的判定。本发明能实现高精度智能合约语义相似性检测。

公开(公告)号：CN114840857A

公开(公告)日：2022-08-02

申请号：CN202210476264.9

申请日：2022-04-29

Applicant: 哈尔滨工程大学

Inventor： 庄园 ,  王宝宝 ,  孙建国 ,  申林山 ,  刘圆圆 ,  李林轩 ,  段毅航 ,  焦珺晗

IPC: G06F21/57 ,  G06N3/04 ,  G06N3/08 ,  G06N7/00 ,  G06N7/02

Abstract: 基于深度强化学习与多级覆盖策略的智能合约模糊测试方法及系统，它属于区块链智能合约安全检测技术领域。本发明解决了现有智能合约动态漏洞检测方法效率低，不适用于智能合约程序特性的问题。本发明首先根据智能合约二进制代码得到对应ABI规范，再使用二进制代码和ABI规范生成初始种子加入到多级覆盖策略定义的种子树。再从种子树中选择种子进行变异，并将变异种子和二进制代码送入智能合约执行环境，分析合约执行后产生的执行记录计算变异种子是否出现新覆盖特性，若出现则变异种子加入种子树，并将变异种子的覆盖特性作为奖励送入DDPG算法，用于下一次变异策略的选择，直至循环终止再判断该合约是否有漏洞。本发明可以应用于智能合约模糊测试。

公开(公告)号：CN114840857B

公开(公告)日：2024-08-13

申请号：CN202210476264.9

申请日：2022-04-29

Applicant: 哈尔滨工程大学

Inventor： 庄园 ,  王宝宝 ,  孙建国 ,  申林山 ,  刘圆圆 ,  李林轩 ,  段毅航 ,  焦珺晗

IPC: G06F21/57 ,  G06N3/045 ,  G06N3/092 ,  G06N5/01 ,  G06N7/01 ,  G06N7/02

Abstract: 基于深度强化学习与多级覆盖策略的智能合约模糊测试方法及系统，它属于区块链智能合约安全检测技术领域。本发明解决了现有智能合约动态漏洞检测方法效率低，不适用于智能合约程序特性的问题。本发明首先根据智能合约二进制代码得到对应ABI规范，再使用二进制代码和ABI规范生成初始种子加入到多级覆盖策略定义的种子树。再从种子树中选择种子进行变异，并将变异种子和二进制代码送入智能合约执行环境，分析合约执行后产生的执行记录计算变异种子是否出现新覆盖特性，若出现则变异种子加入种子树，并将变异种子的覆盖特性作为奖励送入DDPG算法，用于下一次变异策略的选择，直至循环终止再判断该合约是否有漏洞。本发明可以应用于智能合约模糊测试。