基于深度学习的智能合约漏洞检测方法综述

  • 打印
  • 收藏
收藏成功
微博 QQ空间 微信


打开文本图片集

智能合约是区块链三大特点之一，也是区块链具有应用价值和灵活性的领域.本质上，智能合约是一段用特定脚本语言实现的代码，不可避免地存在安全漏洞风险.如何及时准确地检查出各种智能合约的漏洞，就成为区块链安全研究的重点和热点.为了检测智能合约漏洞，研究者提出了各种分析方法，包括符号执行、形式化验证和模糊测试（剩余26054字）

试读结束

目录
monitor