.png){kind=icon}
返回
EVMLiSA: Sound Static Control-Flow Graph Construction for EVM Bytecode
.png){kind=icon}
OA
AI
DOI：10.1016/j.bcra.2025.100384.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
以太坊通过智能合约实现去中心化应用程序的创建和执行，这些智能合约被编译成以太坊虚拟机（EVM）字节码。一旦部署在区块链上，字节码就是不可变的；因此，在部署前确保智能合约无错误至关重要。对EVM字节码进行任何有效静态分析的关键前期步骤是提取控制流图（CFG）：由于可能存在静态未知的跳转目标，这带来了重大挑战。在本文中，我们提出了一种基于抽象解释的新方法，旨在从EVM字节码智能合约构建可靠的CFG。我们的分析（已在我们开发的静态分析器EVMLiSA中实现）基于一个参数化抽象域，该域将每个程序点的具体执行栈近似为一个包含最大高度为h的抽象栈的l-sized集合；分析结果随后用于解析跳转节点的跳转目标。此外，EVMLiSA包含一个用于检测重入攻击的检查器，其工作基于构建的CFG。
Keyword:
Static analysis
Abstract interpretation
Smart contracts
EVM bytecode
Ethereum
Reentrancy vulnerabilities
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。