StateGuard：检测去中心化交易所智能合约中的状态偏离缺陷
软件工程
2024-05-16 v1
摘要
去中心化交易所 (DEX) 利用区块链技术和智能合约已在去中心化金融领域崛起。然而，伴随多合约交互的 DEX 项目包含复杂的状态逻辑，这使得解决状态缺陷具有挑战。本文系统性地研究了 DEX 的状态偏离缺陷。这些缺陷可能导致在合约执行期间对系统状态进行不正确、不完整或未经授权的更改，潜在引发安全威胁。我们提出了 StateGuard，一个基于深度学习的框架，用于检测 DEX 智能合约中的状态偏离缺陷。StateGuard 构建智能合约的抽象语法树 (AST)，提取关键特征以生成图表示。然后，它利用图卷积网络 (GCN) 来发现缺陷。在 46 个 DEX 项目包含 5,671 个智能合约的评估中，StateGuard 的效果突出，准确率达92.24%。为进一步验证其实际应用价值，我们使用 StateGuard 对现实世界的智能合约进行审计，成功认证了多个新发现的 CVE。
引用
@article{arxiv.2405.09181,
title = {StateGuard: Detecting State Derailment Defects in Decentralized Exchange Smart Contract},
author = {Zongwei Li and Wenkai Li and Xiaoqi Li and Yuqing Zhang},
journal= {arXiv preprint arXiv:2405.09181},
year = {2024}
}
备注
5 pages,2 figures, prepared for Conference WWW 2024