SmartBugs：一个用于分析 Solidity 智能合约的框架
软件工程
2020-07-13 v2 密码学与安全
摘要
过去几年中，关于以太坊智能合约的自动化分析、测试和调试研究大量涌现。然而，比较和复现这些研究并非易事。为此，我们提出 SmartBugs，一个可扩展且易用的执行框架，可简化对用 Solidity（以太坊的主要语言）编写的智能合约执行分析工具的过程。SmartBugs 当前发布版本支持 10 种工具和两个 Solidity 合约数据集。第一个数据集可用于评估分析工具的精度，因其包含 143 个带标注的漏洞合约及 208 个已标记漏洞。第二个数据集包含通过 Etherscan 收集的 47,518 个唯一合约。我们讨论了 SmartBugs 如何支持了迄今最大规模的实验设置，无论在工具数量还是执行时间上。此外，我们展示其如何通过呈现对 SmartCheck 工具的新扩展来实现分析工具的轻松集成与比较，该扩展显著改进了与 DASP10 类别中不良随机性、时间操纵和访问控制相关漏洞的检测（已识别漏洞从 11% 提升至 24%）。
引用
@article{arxiv.2007.04771,
title = {SmartBugs: A Framework to Analyze Solidity Smart Contracts},
author = {João F. Ferreira and Pedro Cruz and Thomas Durieux and Rui Abreu},
journal= {arXiv preprint arXiv:2007.04771},
year = {2020}
}
备注
arXiv admin note: text overlap with arXiv:1910.10601