Mythx发现18个错误,较其他工具高;Securify在关键错误检测方面表现最好;不同工具有各自的漏洞检测方法(静态分析、符号分析、正式合约验证器等)