公开(公告)号：CN118821143A

公开(公告)日：2024-10-22

申请号：CN202410805901.1

申请日：2024-06-21

Applicant: 江苏大学

Inventor： 朱会娟 ,  王嘉文 ,  王良民 ,  宋香梅 ,  李唱 ,  杨蕾

IPC: G06F21/57 ,  G06F18/20 ,  G06F18/214 ,  G06F18/2415

Abstract: 本发明公开一种基于专家规则引导扩散模型生成的智能合约安全分析方法及系统，首先利用Slither提取出智能合约中具体的漏洞函数块和漏洞知识范例，利用漏洞知识范例来引导漏洞函数块以生成真实且多样化的新漏洞实例，从而模拟智能合约相关漏洞的演化过程，再将生成漏洞函数块与之前定位出的漏洞函数块进行替换，最后使用预训练模型GraphCodeBert通过扩充关键数据流图来学习智能合约源码函数中的语义结构关系，从而检测智能合约中的漏洞。本发明结合专家规则和扩散模型来模拟智能合约漏洞演化，漏洞检测模型可学习到更多的相关漏洞的表现形式，同时利用关键数据流图自动捕获更全面的特性，具有较高的代码覆盖率和指令细节。