可解释性
计算机科学
钥匙(锁)
脆弱性(计算)
图形
领域(数学)
智能合约
数据挖掘
脆弱性评估
人工智能
机器学习
异常检测
源代码
编码(集合论)
变压器
组分(热力学)
智能电网
功能(生物学)
传感器融合
访问控制
智慧城市
分布式计算
流量网络
SCADA系统
作者
Bing Xue,Jun Zhang,Zhongwei An,Zhaoxiong Song,Linpeng Jia,Zhi Yu
标识
DOI:10.1109/ijcnn64981.2025.11227855
摘要
In recent years, graph neural networks have demonstrated strong capabilities in processing graph-structured data and have made significant progress in the field of smart contract vulnerability detection. This paper introduces HF-Sec, a novel framework for smart contract vulnerability detection. The framework first automatically generates heterogeneous contract graphs from the source code of Ethereum smart contracts to represent the control flow and function call relationships of the code. Then, by using a multi-source attention mechanism, the framework is able to synthesize features from different sources to capture key information from multiple perspectives. In addition, HF-Sec utilizes Fast Graph Transformer Networks and Kolmogorov-Arnold Networks to automatically extract mission-critical meta-paths and enhance the interpretability of the model. We performed experimental validation on a mixed dataset containing 423 contracts with vulnerabilities and 2742 contracts without vulnerabilities. The experimental results show that HF-Sec can significantly improve the accuracy of smart contract vulnerability detection, which is better than the methods based on machine learning or traditional analysis techniques. Through a series of ablation experiments, we further verified the importance of various key components in HF-Sec to improve the detection accuracy.
科研通智能强力驱动
Strongly Powered by AbleSci AI