安全分析
安全工具
- MythX - 面向以太坊开发者的安全验证平台和工具生态
- Mythril Classic - 开源的EVM字节码安全分析工具
- Oyente - 另一个智能合约安全静态分析工具
- Securify - 以太坊智能合约安全扫描器
- SmartCheck - 静态智能合约安全分析器
- Porosity - 以太坊智能合约反编译和安全分析工具
- Ethersplay - EVM 反汇编工具
- Evmdis - 另一个EVM反汇编工具
- Hydra - 去中心化安全研究框架
- Solgraph - 可视化Solidity控制流,用于智能合约安全分析
- Manticore - 智能合约的符号化执行工具
- Slither - Solidity静态分析框架
- Adelaide - Solidity编译器的SECBIT静态分析扩展
- solc-verify - Solidity智能合约的模块化验证器
- Solidity security blog - 已知攻击及常见反模式的全面清单
- Awesome Buggy ERC20 Tokens - ERC20智能合约漏洞集
- Free Smart Contract Security Audit - 来自Callisto网络的免费的智能合约安全审计
监视
- amberdata.io - 提供实时监视、异常检测、代币指标、智能合约审计等,图形化可视,支持区块链搜索
- Neufund - Smart Contract Watch - 智能合约和交易监视工具
- Scout - 将以太坊智能能合约的活动和事件日志转化为实时数据流
- Tenderly - 以仪表盘形式提供可靠的智能合约监视和审计,无需用户自建主机
- Chainlyt - 探索智能合约的而使用情况,跟踪特定合约函数的调用
- BlockScout - 审查分析EVM类区块链的工具。以太坊网络的唯一完整功能的区块链浏览器