利用执行属性图增强智能合约安全分析
密码学与安全
2025-04-15 v3
摘要
智能合约漏洞已导致重大财务损失，其日益增加的复杂性使得彻底防止黑客攻击愈发具有挑战性。这一趋势凸显了对高级取证分析和实时入侵检测的迫切需求，其中动态分析在剖析智能合约执行中起着关键作用。因此，迫切需要一个统一且通用的智能合约执行表示，并辅以能够建模和识别广泛新兴攻击的高效方法。我们引入Clue，一个专为以太坊虚拟机设计的动态分析框架。Clue的核心在于其能够在合约执行期间捕获关键运行时信息，采用一种新颖的基于图的表示——执行属性图。Clue的一个关键特性是其创新的图遍历技术，擅长检测复杂攻击，包括（只读）重入和价格操纵。评估结果显示Clue具有优越的性能，真阳性率高且假阳性率低，优于最先进的工具。此外，Clue的高效性使其成为取证分析和实时入侵检测的有价值工具。
引用
@article{arxiv.2305.14046,
title = {Enhancing Smart Contract Security Analysis with Execution Property Graphs},
author = {Kaihua Qin and Zhe Ye and Zhun Wang and Weilin Li and Liyi Zhou and Chao Zhang and Dawn Song and Arthur Gervais},
journal= {arXiv preprint arXiv:2305.14046},
year = {2025}
}