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