区块链中文技术社区 - Solidity进阶之静态分析 的评论
type: channel
link: https://bcskill.com/index.php/archives/1625.html
description: 静态分析是相对容易掌握的工具，对开发复杂的Defi应用非常有帮助。简介合约的安全性自动化检测有静态分析、动态分析和形式化验证。静态分析不执行合约代码，通过对合约代码做模式匹配或者语义分析来检测漏...