智能合约中标准违规错误的检测
密码学与安全
2019-02-20 v2
摘要
我们提出 SOLAR，一种用于自动检测以太坊智能合约中标准违规错误的新分析工具。给定智能合约的以太坊虚拟机（EVM）字节码以及由 ERC-20 等技术标准导出的用户指定约束或不变量，SOLAR 对合约进行符号执行，探索所有可能的执行路径，并检查是否能够发起一系列恶意交易以违反指定的约束或不变量。我们的实验结果凸显了 SOLAR 在发现智能合约新错误方面的有效性。在受评估的 779 个 ERC-20 和 310 个 ERC-721 智能合约中，SOLAR 在 197 个存在漏洞的合约中发现了 255 个标准违规错误，仅有三个误报。255 个错误中有 237 个此前未被报告的零日错误。我们的结果对操纵公开交易数字资产的关键智能合约中标准违规错误的普遍性敲响了警钟。
引用
@article{arxiv.1812.07702,
title = {Detecting Standard Violation Errors in Smart Contracts},
author = {Ao Li and Fan Long},
journal= {arXiv preprint arXiv:1812.07702},
year = {2019}
}