区块链安全审计师

// 有漏洞：经典重入——外部调用之后才更新状态
contract VulnerableVault {
    mapping(address => uint256) public balances;

    function withdraw() external {
        uint256 amount = balances[msg.sender];
        require(amount > 0, "No balance");

        // BUG：状态更新之前就做了外部调用
        (bool success,) = msg.sender.call{value: amount}("");
        require(success, "Transfer failed");

        // 攻击者在这行执行之前重入 withdraw()
        balances[msg.sender] = 0;
    }
}

// 攻击合约
contract ReentrancyExploit {
    VulnerableVault immutable vault;

    constructor(address vault_) { vault = VulnerableVault(vault_); }

    function attack() external payable {
        vault.deposit{value: msg.value}();
        vault.withdraw();
    }

    receive() external payable {
        // 重入 withdraw——余额还没清零
        if (address(vault).balance >= vault.balances(address(this))) {
            vault.withdraw();
        }
    }
}

// 修复：Checks-Effects-Interactions + 重入锁
import {ReentrancyGuard} from "@openzeppelin/contracts/utils/ReentrancyGuard.sol";

contract SecureVault is ReentrancyGuard {
    mapping(address => uint256) public balances;

    function withdraw() external nonReentrant {
        uint256 amount = balances[msg.sender];
        require(amount > 0, "No balance");

        // 先更新状态
        balances[msg.sender] = 0;

        // 外部交互放最后
        (bool success,) = msg.sender.call{value: amount}("");
        require(success, "Transfer failed");
    }
}

// 有漏洞：现货价格预言机——可通过闪电贷操纵
contract VulnerableLending {
    IUniswapV2Pair immutable pair;

    function getCollateralValue(uint256 amount) public view returns (uint256) {
        // BUG：使用现货储备——攻击者通过闪电兑换操纵价格
        (uint112 reserve0, uint112 reserve1,) = pair.getReserves();
        uint256 price = (uint256(reserve1) * 1e18) / reserve0;
        return (amount * price) / 1e18;
    }

    function borrow(uint256 collateralAmount, uint256 borrowAmount) external {
        // 攻击者：1) 闪电兑换扭曲储备比例
        //         2) 用膨胀的抵押品价值借款
        //         3) 归还闪电贷——获利
        uint256 collateralValue = getCollateralValue(collateralAmount);
        require(collateralValue >= borrowAmount * 15 / 10, "Undercollateralized");
        // ... 执行借款
    }
}

// 修复：使用时间加权平均价格（TWAP）或 Chainlink 预言机
import {AggregatorV3Interface} from "@chainlink/contracts/src/v0.8/interfaces/AggregatorV3Interface.sol";

contract SecureLending {
    AggregatorV3Interface immutable priceFeed;
    uint256 constant MAX_ORACLE_STALENESS = 1 hours;

    function getCollateralValue(uint256 amount) public view returns (uint256) {
        (
            uint80 roundId,
            int256 price,
            ,
            uint256 updatedAt,
            uint80 answeredInRound
        ) = priceFeed.latestRoundData();

        // 校验预言机响应——永远不要盲目信任
        require(price > 0, "Invalid price");
        require(updatedAt > block.timestamp - MAX_ORACLE_STALENESS, "Stale price");
        require(answeredInRound >= roundId, "Incomplete round");

        return (amount * uint256(price)) / priceFeed.decimals();
    }
}

# 访问控制审计清单

## 角色层级
- [ ] 所有特权函数都有显式的访问修饰符
- [ ] 管理员角色不能自授——需要多签或时间锁
- [ ] 角色放弃是可行的，但有防误操作保护
- [ ] 没有函数默认开放访问（缺少修饰符 = 任何人都能调用）

## 初始化
- [ ] `initialize()` 只能调用一次（initializer 修饰符）
- [ ] 实现合约在构造函数中调用了 `_disableInitializers()`
- [ ] 初始化期间设置的所有状态变量都正确
- [ ] 没有未初始化的代理可被抢跑 `initialize()` 劫持

## 升级控制
- [ ] `_authorizeUpgrade()` 受 owner/多签/时间锁保护
- [ ] 版本间存储布局兼容（无存储槽冲突）
- [ ] 升级函数不会被恶意实现合约搞废
- [ ] 代理管理员不能调用实现函数（函数选择器冲突）

## 外部调用
- [ ] 没有未保护的 `delegatecall` 指向用户可控地址
- [ ] 外部合约的回调不能操纵协议状态
- [ ] 外部调用的返回值已校验
- [ ] 失败的外部调用得到了妥善处理（不是静默忽略）

#!/bin/bash
# 全面的 Slither 审计脚本

echo "=== 运行 Slither 静态分析 ==="

# 1. 高置信度检测器——这些几乎都是真 bug
slither . --detect reentrancy-eth,reentrancy-no-eth,arbitrary-send-eth,\
suicidal,controlled-delegatecall,uninitialized-state,\
unchecked-transfer,locked-ether \
--filter-paths "node_modules|lib|test" \
--json slither-high.json

# 2. 中置信度检测器
slither . --detect reentrancy-benign,timestamp,assembly,\
low-level-calls,naming-convention,uninitialized-local \
--filter-paths "node_modules|lib|test" \
--json slither-medium.json

# 3. 生成可读报告
slither . --print human-summary \
--filter-paths "node_modules|lib|test"

# 4. 检查 ERC 标准合规性
slither . --print erc-conformance \
--filter-paths "node_modules|lib|test"

# 5. 函数摘要——用于确定审查范围
slither . --print function-summary \
--filter-paths "node_modules|lib|test" \
> function-summary.txt

echo "=== 运行 Mythril 符号执行 ==="

# 6. Mythril 深度分析——较慢但能发现不同类型的 bug
myth analyze src/MainContract.sol \
--solc-json mythril-config.json \
--execution-timeout 300 \
--max-depth 30 \
-o json > mythril-results.json

echo "=== 运行 Echidna 模糊测试 ==="

# 7. Echidna 基于属性的模糊测试
echidna . --contract EchidnaTest \
--config echidna-config.yaml \
--test-mode assertion \
--test-limit 100000

# 安全审计报告

## 项目：[协议名称]
## 审计师：区块链安全审计师
## 日期：[日期]
## 提交：[Git Commit Hash]

---

## 概要

[协议名称] 是一个 [描述]。本次审计审查了 [N] 份合约，
共 [X] 行 Solidity 代码。审查发现 [N] 个问题：
[C] 个 Critical、[H] 个 High、[M] 个 Medium、[L] 个 Low、[I] 个 Informational。

| 严重等级        | 数量  | 已修复 | 已确认 |
|----------------|-------|-------|--------|
| Critical       |       |       |        |
| High           |       |       |        |
| Medium         |       |       |        |
| Low            |       |       |        |
| Informational  |       |       |        |

## 审计范围

| 合约               | SLOC | 复杂度 |
|--------------------|------|--------|
| MainVault.sol      |      |        |
| Strategy.sol       |      |        |
| Oracle.sol         |      |        |

## 发现

### [C-01] Critical 发现标题

**严重等级**：Critical
**状态**：[Open / Fixed / Acknowledged]
**位置**：`ContractName.sol#L42-L58`

**描述**：
[漏洞的清晰说明]

**影响**：
[攻击者能达成什么目标，预估财务影响]

**概念验证**：
[Foundry 测试或分步攻击场景]

**修复建议**：
[具体的代码修改方案]

---

## 附录

### A. 自动化分析结果
- Slither：[摘要]
- Mythril：[摘要]
- Echidna：[属性测试结果摘要]

### B. 方法论
1. 逐行人工代码审查
2. 自动化静态分析（Slither、Mythril）
3. 基于属性的模糊测试（Echidna/Foundry）
4. 经济攻击建模
5. 访问控制与权限分析

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.24;

import {Test, console2} from "forge-std/Test.sol";

/// @title FlashLoanOracleExploit
/// @notice 演示通过闪电贷操纵预言机的 PoC
contract FlashLoanOracleExploitTest is Test {
    VulnerableLending lending;
    IUniswapV2Pair pair;
    IERC20 token0;
    IERC20 token1;

    address attacker = makeAddr("attacker");

    function setUp() public {
        // 在修复前的区块 fork 主网
        vm.createSelectFork("mainnet", 18_500_000);
        // ... 部署或引用有漏洞的合约
    }

    function test_oracleManipulationExploit() public {
        uint256 attackerBalanceBefore = token1.balanceOf(attacker);

        vm.startPrank(attacker);

        // 第 1 步：闪电兑换操纵储备比例
        // 第 2 步：以膨胀的价值存入少量抵押品
        // 第 3 步：按膨胀的抵押品价值借出最大额度
        // 第 4 步：归还闪电贷

        vm.stopPrank();

        uint256 profit = token1.balanceOf(attacker) - attackerBalanceBefore;
        console2.log("Attacker profit:", profit);

        // 断言攻击有利可图
        assertGt(profit, 0, "Exploit should be profitable");
    }
}