paperbot · PL 论文追踪

全部论文 待读 收藏

P2 AtomGraph: Tackling Atomicity Violation in Smart Contracts using Multimodal GCNs

AtomGraph:使用多模态图卷积网络检测智能合约中的原子性违反
ICSE Proceedings of the IEEE/ACM 48th International Conference on Software Engineering2026匹配度 3/10 · 论文将 GCN 用于智能合约原子性违反检测,属于机器学习与程序分析交叉,但任务是区块链安全漏洞检测,不涉及用户核心关注的 LLM/Agent、浮点程序分析或贝叶斯程序分析。其方法也不是用 LLM/Agent 改进静态分析,因此与研究方向仅弱相关。引用 0 inbox
Xiaoqi Li, Zongwei Li, Wenkai Li, Zeng Zhang, Lei Xie
crossref: 2026-09-12

AI 速览

一句话:提出 AtomGraph,用多模态 GCN 融合字节码 CFG 结构与操作码语义特征,自动检测智能合约原子性违反。

智能合约广泛部署于各类去中心化场景,原子性违反已成为其关键安全风险,而现有分析工具精度不足,难以有效检出此类问题。本文提出 AtomGraph——一个面向原子性违反检测的自动化框架,基于图卷积网络(GCN)进行多模态特征学习与融合。在协同学习机制驱动下,模型同时从两个异构模态中学习:一方面从基于字节码构建的控制流图(CFG)中提取结构化拓扑特征,另一方面从操作码序列中挖掘深层语义信息;并设计自适应加权融合机制,动态调整各模态特征权重以实现最优融合。最终由 GCN 在合约级别完成原子性违反的图级判定。实验评估表明,AtomGraph 达到 96.88% 的准确率与 96.97% 的 F1 分数,优于现有工具;相比采用拼接融合的基线模型,F1 分数提升 6.4%,显示出其在智能合约安全检测中的应用潜力。

问题
智能合约中的原子性违反是重要的潜在安全风险,而现有分析工具精度不足,难以有效、准确地检测这类问题。
方法
以字节码构建的控制流图与操作码序列作为两个异构模态,在协同学习机制下分别提取结构拓扑特征与深层语义,并通过自适应加权融合送入 GCN 完成合约级原子性违反检测。
评估
通过综合实验评估,AtomGraph 取得 96.88% 准确率和 96.97% F1,优于现有工具,且相较拼接融合基线 F1 提升 6.4%。
原文摘要(Abstract)

Smart contracts are a core component of blockchain technology and are widely deployed across various decentralized scenarios. However, atomicity violations have become a critical potential security risk. Existing analysis tools often lack the precision required to detect these issues effectively. To address this challenge, we introduce AtomGraph, an automated framework designed for detecting atomicity violations. This framework leverages Graph Convolutional Networks (GCN) to accurately identify atomicity violations through multimodal feature learning and fusion. Specifically, driven by a collaborative learning mechanism, the model simultaneously learns from two heterogeneous modalities: extracting structural topological features from the bytecode-based Control Flow Graph (CFG) and uncovering deep semantics from its opcode sequence. We designed an adaptive weighted fusion mechanism to dynamically adjust the weights of features from each modality to achieve optimal feature fusion. Finally, GCN detects graph-level atomicity violations on the contract. Comprehensive experimental evaluations demonstrate that AtomGraph achieves 96.88% accuracy and 96.97% F1 score, outperforming existing tools. Furthermore, compared to the baseline concatenation fusion model, AtomGraph improves the F1 score by 6.4%, proving its potential in smart contract security detection.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot11986,
  title = {AtomGraph: Tackling Atomicity Violation in Smart Contracts using Multimodal GCNs},
  author = {Xiaoqi Li and Zongwei Li and Wenkai Li and Zeng Zhang and Lei Xie},
  booktitle = {ICSE},
  year = {2026},
  doi = {10.1145/3786582.3786816}
}