Blaz

Blaz is all-in-one platform that combines static analysis, fuzzing, and formal verification solutions for smart contract vulnerability detection.