基于大语言模型与静态分析的智能合约状态操纵漏洞检测
软件工程
2025-06-12 v2
摘要
越来越多的 DeFi 协议正变得流行，促进了多个匿名用户之间的交易。状态操纵是 DeFi 智能合约中 notorious 攻击之一，价格变量是最常被利用的状态变量——攻击者操纵代币价格以获取非法利润。本文提出了一种新方法 PriceSleuth，利用大语言模型（LLM）和静态分析主动检测价格操纵（PM）攻击。PriceSleuth 首先识别与价格计算相关的核心逻辑函数。随后引导 LLM 定位价格计算代码语句。第二步，PriceSleuth 对价格变量执行逆向依赖分析，指导 LLM 检测潜在的价格操纵。最后，PriceSleuth 利用价格变量的传播分析，辅助 LLM 检测这些变量是否被恶意利用。我们呈现了初步实验结果，以实证 PriceSleuth 有效性。我们还概述了 PriceSleuth 的未来研究方向。
引用
@article{arxiv.2506.08561,
title = {Detecting State Manipulation Vulnerabilities in Smart Contracts Using LLM and Static Analysis},
author = {Hao Wu and Haijun Wang and Shangwang Li and Yin Wu and Ming Fan and Yitao Zhao and Ting Liu},
journal= {arXiv preprint arXiv:2506.08561},
year = {2025}
}