主流自动化智能合约审计工具横向对比测试

本文将成都链安科技有限公司开发的VaaS-ETH自动智能合约形式化验证平台精简版与国际知名的类似产品，如SmartDec、Securify、QSP进行了横向对比测试。测试结果表明，VaaS-ETH在安全检测精确度、检测能力、结果分析、用户体验等方面均存在较大优势。 本文分为两个部分，使用两个功能不同的案例合约，分别为代币合约和竞拍合约。 智能合约安全检测项：包括10大类，27小项 1 . ERC2

>>阅读原文<<