Blaz

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