# Analyzing Ethereum Smart Contract Vulnerabilities

> 使用 Slither 和 Mythril 对 Solidity 智能合约进行静态分析和符号执行，在部署到以太坊主网之前检测重入攻击、整数溢出、访问控制缺陷和其他漏洞类型。

- Skill: `killvxk/analyzing-ethereum-smart-contract-vulnerabilities` (Agent Skill, multi-file: 4 files)
- Install (CLI): `npx skillmds@latest add killvxk/analyzing-ethereum-smart-contract-vulnerabilities`
- Raw SKILL.md: https://api.skillmd.com/api/skills/killvxk/analyzing-ethereum-smart-contract-vulnerabilities/raw
- Safety review: pending
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Coding & Dev Tools
- License: Apache-2.0
- Author: killvxk (https://skillmd.com/u/killvxk)
- Updated: 2026-09-17
- Page: https://skillmd.com/skills/killvxk/analyzing-ethereum-smart-contract-vulnerabilities

---


# 分析以太坊智能合约漏洞

## 概述

智能合约漏洞已在各 DeFi 协议中造成数十亿美元的损失。与传统软件不同，已部署的智能合约是不可变的，且直接处理真实金融资产，这使得部署前的安全分析至关重要。Slither 使用中间表示进行快速静态分析，能在几秒内检测 90 多种漏洞模式；而 Mythril 则使用符号执行和 SMT 求解来发现复杂执行路径漏洞，如重入攻击（Reentrancy）和整数溢出。本技能涵盖对 Solidity 合约运行两款工具、解读分析结果、按严重程度分类发现项，以及生成审计报告。

## 前置条件

- Python 3.10+ 与 pip
- Slither（`pip install slither-analyzer`）和 solc 编译器
- Mythril（`pip install mythril`）与 solc-select（用于管理编译器版本）
- Solidity 源代码或编译后的合约字节码
- Foundry 或 Hardhat 开发框架（可选，用于项目级分析）

## 步骤

### 步骤 1：运行 Slither 静态分析

对合约代码库执行 Slither，使用其 90+ 内置检测器识别漏洞模式、优化机会和代码质量问题。

### 步骤 2：运行 Mythril 符号执行

运行 Mythril 深度分析，探索执行路径，发现需要路径敏感分析的重入攻击、未检查的外部调用和算术漏洞。

### 步骤 3：分类和关联发现

合并两款工具的结果，去重发现项，根据可利用性和财务影响评估严重程度，并过滤误报。

### 步骤 4：生成审计报告

生成包含漏洞描述、受影响代码位置、利用场景和修复建议的结构化审计报告。

## 预期输出

JSON 报告，列出漏洞及其 SWC（智能合约弱点分类）标识符、严重程度评级、受影响函数和建议修复方案。