Blaz

Blaz 是一体化平台,结合了静态分析、模糊测试和形式验证解决方案,用于智能合约漏洞检测。