工具
mythril
ConsenSysDiligence/mythril
面
标签
同类项目
echidna3.2k面向 以 太 坊智 能 合约 的 快速 模 糊测试 工具， 基于 合约 ABI 生成 调用 序列 来 证伪 不 变量， 支持 多 种 测试 模式、 覆盖率 收集 与 CI 集成。 
openzeppelin-contracts27.4k经过审计 的 Solidity 智 能 合约 开发库， 提供 ERC 标准、 权限 控制 等 可 复 用 安全 组件。 
smart-contract-vulnerabilities2.5k智能 合约 漏洞合集， 分类 整理 重入、 整数 溢出、 访问 控制 等 常见 漏 洞 及 防护 方法， 供学习 与 安全 审计 参考。 
reentrancy-attacks1.6k以太坊 重入 攻击 的 历史 案 例 清单， 按 时间 收录 攻击 事件 并 附受害 合约、 攻击 合约 与 交易 链接， 供 安全 研究 参考。 
solhint1.1k面向 Solidity 的 开源 校验 工具， 提供 安全 与 风格 规则、 自动 修复 与 多编辑器 集成。 
security-and-auditing-full-course-s232k这是 一 套 完整 的 智能 合约 审计、 汇编、 安全 与 DeFi 课程， 包含 从 入门 审计 到 最 终 实战 项目 的 分节 讲义、 练习 与 配套 链接， 适合 系统 学习 Web3 安全。