DEPOSafe：解密以太坊智能合约中的虚假漏洞

DEPOSafe：解密以太坊智能合约中的虚假漏洞

由于区块链技术及相关生态系统的发展，近年来数字加密货币的应用呈指数级增长。 除了比特币之外，区块链上还发行了数以千计的数字加密货币，并出现了数百个数字加密货币交易所来解决数字资产的交易问题。 数字加密货币的蓬勃发展也引起了攻击者的注意。 Fake Deposit作为交易所和代币相关漏洞中最具代表性的一类以太坊智能合约漏洞，频繁出现在区块链生态中，造成大量资金损失。 然而，除了一些安全报告外以太坊智能合约漏洞，社区缺乏对该漏洞的了解，例如其规模和影响。

在论文中，我们首先破译了伪造漏洞的原理。 基于对虚假存储模式的总结，我们实现了 DEPOSafe，这是一种自动化工具，可以检测和验证（利用）ERC-20 智能合约中的虚假存储漏洞。 DEPOSafe 使用的一些关键技术包括基于符号执行的静态分析和基于行为建模的动态验证。 我们使用 DEPOSafe 处理了 176,000 个 ERC-20 智能合约，并识别了 7,000 多个易受攻击的合约。 我们的发现证明了识别和阻止虚假漏洞的紧迫性。

论文 PDF 下载：DEPOSafe：揭秘以太坊智能合约中的虚假存款漏洞