1 article
Every free and open-source tool you can use to audit your smart contracts — from static analysis to fuzzing to formal verification. What each catches and where they fall short.