Blaz

Blaz 是一體化平臺，結合了靜態分析、模糊測試和形式驗證解決方案，用於智能合約漏洞檢測。