2021年4月25日
【论文翻译】Ferreira 2020 SmartBugs: A Framework to Analyze Solidity Smart Contracts
摘要： 摘要 在过去的几年里，对Etalum智能合同的自动化分析、测试和调试进行了大量的研究。 然而，比较和复制这项研究并不是微不足道的。 为了解决这一问题，我们介绍了SmartBugs，这是一个可扩展和易于使用的执行框架，它简化了以Solidity(Etalum中使用的主要语言)编写的智能合同分析工具的执 阅读全文
posted @ 2021-04-25 20:45 蜉蝣一夕 阅读(723) 评论(0) 推荐(0) 编辑