1. 首页
  2. 区块链
  3. 以太坊
  4. [论文阅读笔记]智能合约安全漏洞检测技术研究

[论文阅读笔记]智能合约安全漏洞检测技术研究

上传者: 2020-08-06 15:17:00上传 PDF文件 852.25KB 热度 22次
介绍了智能合约中存在的重入、整数溢出、交易顺序和时间戳依赖等安全漏洞,并重点介绍了用于检测智能合约安全漏洞的符号执行、语义分析、模糊测试、动态污点分析和形式化方法。
用户评论