1. 首页
  2. 人工智能
  3. 论文/代码
  4. 智能合约漏洞检测工具对比研究报告

智能合约漏洞检测工具对比研究报告

上传者: 2023-10-09 02:00:25上传 DOCX文件 558.28KB 热度 17次

研究结果显示,Mythx工具发现了18种不同的智能合约错误,较其他对中等错误具有高识别度的工具更为广泛。另一方面,Securify工具在关键错误检测方面表现最优。此外,每个工具都采用了特定的方法来检查智能合约漏洞,包括静态分析、符号分析和正式合约验证器等。

下载地址
用户评论