名称: 智能合约分析技能 描述: 以太坊及区块链智能合约安全分析 允许使用的工具:
- Bash
- 读取
- 写入
- 编辑
- Glob
- Grep
智能合约分析技能
概述
本技能提供以太坊及区块链智能合约安全分析能力。
功能
- 执行Slither静态分析
- 运行Mythril符号执行
- 分析Solidity代码模式
- 检测重入漏洞
- 检查整数溢出
- 生成Echidna模糊测试
- 支持多EVM链
- 创建形式化验证规范
目标流程
- 智能合约审计.js
- 安全工具开发.js
依赖项
- Slither
- Mythril
- Echidna
- Solidity编译器 (solc)
- Python 3.x
- Node.js (用于Hardhat/Foundry)
使用场景
本技能对以下场景至关重要：
- 智能合约安全审计
- DeFi漏洞研究
- 自动化漏洞检测
- 智能合约模糊测试
- 形式化验证支持
集成说明
- 支持Solidity和Vyper
- 可分析多个EVM兼容链
- 与Hardhat和Foundry集成
- 支持自定义检测器开发
- 可生成审计报告