ConsenSysDiligence

智能合约安全最佳实践指南

Mythril 是一款基于符号执行的安全分析工具，针对 EVM 字节码。它可检测为 Ethereum 及其他 EVM 兼容区块链所建智能合约的安全漏洞。

一组用于探索 Solidity 合约的实用工具

Visual Studio Code 的 Solidity 语言支持与可视化安全性审计工具。