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

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

>>阅读原文<<