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

由于区块链技术及相关生态系统的发展，近年来数字加密货币的应用呈指数级增长。 除了比特币，在区块链上已经发行了成千上万种数字加密货币，也出现了数百个 数字加密货币交易所来解决数字资产的交易问题。数字加密货币的蓬勃发展也吸引 了攻击者的注意。假存（Fake Deposit）作为与交易所和代币相关的最具代表性的 一种漏洞，频繁出现在区块链生态系统中并导致大量资金损失。然而，除了一些 安全报告，社区还缺乏对这一漏洞的理解，例如其规模和影响。

在论文种，我们首先解密了假存漏洞的原理。基于对假存模式的总结，我们实现了 DEPOSafe，一个可以检测并验证（利用）ERC-20智能合约种的假存漏洞的自动化工具。 DEPOSafe利用的一些关键技术包括基于符号化执行的静态分析以及基于行为建模的 动态验证。我们利用DEPOSafe处理了176000个ERC-20智能合约，识别出超过7000个 存在漏洞的合约。我们的发现表明识别并阻止假存漏洞的紧迫性。

论文PDF下载：DEPOSafe: Demystifying the Fake Deposit Vulnerability in Ethereum Smart Contracts