SCVHunter: Smart Contract Vulnerability Detection Based on Heterogeneous Graph Attention Network

计算机科学 脆弱性(计算) 依赖关系图 依赖关系(UML) 脆弱性评估 数据库事务 图形 智能合约 计算机安全 可扩展性 人工智能 理论计算机科学 数据库 程序设计语言 心理治疗师 心理学 心理弹性
作者
Luo Feng,Ruijie Luo,Ting Chen,Ao Qiao,Zheyuan He,Shuwei Song,Yu Jiang,Sixing Li
标识
DOI:10.1145/3597503.3639213
摘要

Smart contracts are integral to blockchain's growth, but their vulnerabilities pose a significant threat. Traditional vulnerability detection methods rely heavily on expert-defined complex rules that are labor-intensive and dificult to adapt to the explosive expansion of smart contracts. Some recent studies of neural network-based vulnerability detection also have room for improvement. Therefore, we propose SCVHunter, an extensible framework for smart contract vulnerability detection. Specifically, SCVHunter designs a heterogeneous semantic graph construction phase based on intermediate representations and a vulnerability detection phase based on a heterogeneous graph attention network for smart contracts. In particular, SCVHunter allows users to freely point out more important nodes in the graph, leveraging expert knowledge in a simpler way to aid the automatic capture of more information related to vulnerabilities. We tested SCVHunter on reentrancy, block info dependency, nested call, and transaction state dependency vulnerabilities. Results show remarkable performance, with accuracies of 93.72%, 91.07%, 85.41%, and 87.37% for these vulnerabilities, surpassing previous methods.
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
聪聪发布了新的文献求助10
1秒前
1秒前
2秒前
西门长海完成签到,获得积分10
2秒前
bghv发布了新的文献求助10
3秒前
柚子皮发布了新的文献求助15
4秒前
5秒前
1阿完成签到,获得积分10
5秒前
谨慎鞅完成签到,获得积分10
6秒前
luyao970131发布了新的文献求助10
7秒前
yin发布了新的文献求助10
7秒前
聪聪完成签到,获得积分10
8秒前
赵保钢完成签到,获得积分10
9秒前
鱼与鱼与鱼完成签到,获得积分10
9秒前
柚子发布了新的文献求助10
10秒前
彭于晏应助默默的难破采纳,获得10
11秒前
11秒前
科研通AI5应助淡淡的浩天采纳,获得10
13秒前
13秒前
14秒前
yin完成签到,获得积分10
14秒前
14秒前
WKJiang完成签到,获得积分20
14秒前
bghv完成签到,获得积分10
16秒前
曼波完成签到,获得积分10
16秒前
学术骗子小刚完成签到,获得积分0
17秒前
善学以致用应助ting采纳,获得10
18秒前
丘比特应助Dr.c采纳,获得10
19秒前
zhang发布了新的文献求助10
20秒前
kw完成签到 ,获得积分10
21秒前
脑洞疼应助yckbz采纳,获得10
25秒前
26秒前
Portafortuna发布了新的文献求助10
27秒前
wasiwan发布了新的文献求助10
29秒前
希夷发布了新的文献求助30
30秒前
nicheng完成签到,获得积分10
30秒前
31秒前
31秒前
现代的大白菜真实的钥匙完成签到,获得积分10
31秒前
31秒前
高分求助中
Encyclopedia of Mathematical Physics 2nd edition 888
Introduction to Strong Mixing Conditions Volumes 1-3 500
Tip60 complex regulates eggshell formation and oviposition in the white-backed planthopper, providing effective targets for pest control 400
Optical and electric properties of monocrystalline synthetic diamond irradiated by neutrons 320
共融服務學習指南 300
Essentials of Pharmacoeconomics: Health Economics and Outcomes Research 3rd Edition. by Karen Rascati 300
Peking Blues // Liao San 300
热门求助领域 (近24小时)
化学 材料科学 医学 生物 工程类 有机化学 物理 生物化学 纳米技术 计算机科学 化学工程 内科学 复合材料 物理化学 电极 遗传学 量子力学 基因 冶金 催化作用
热门帖子
关注 科研通微信公众号,转发送积分 3802431
求助须知:如何正确求助?哪些是违规求助? 3348058
关于积分的说明 10336202
捐赠科研通 3063960
什么是DOI,文献DOI怎么找? 1682338
邀请新用户注册赠送积分活动 808052
科研通“疑难数据库(出版商)”最低求助积分说明 763997