《表5 智能合约漏洞检测结果》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《基于符号执行的智能合约漏洞检测方案》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

本文从Awesome-Buggy-ERC20-Tokens[18]项目中选取了70份含有漏洞的智能合约，对其进行了分析。最终检测结果如表5所示，正确警告约为85%，未检测出漏洞约为10%，不完整警告约为5%。由于符号执行路径遍历效率低、String类型符号化复杂、循环处理存在缺陷等问题，导致检索结果出现漏检率偏高，并且检索时间较长。