摘要： 此次选取的代码是智能合约漏洞检测及分析工具Oyente的源代码。 一、Oyente Oyente是melon.fund于2018年10月发布的一款为现有的以太坊智能合约开发人员构建的符号执行工具，以发现智能合约中潜在的安全漏洞。 开发语言：Python 工具类型：静态分析工具 分析内容：EVM字节码 阅读全文

摘要： 我的工程实践题目是关于智能合约漏洞库的开发，具体开发模式和开发要求导师还未正式下发。据我调查了解，目前国内外关于智能合约的漏洞库平台目前尚处于起步阶段，还没有比较成熟的、可供使用的平台可供人们使用。因此，我主要将关注点放在了国内外安全专家常用的漏洞库平台，并选取其中的三个来完成本次的调研分析工作。 阅读全文