Solidity + EVM 擁有最佳的開發工具來進行靜態分析、穩健測試和形式驗證。 `vm.etch` 是天堂。