findscripter 何时使用
- 编写新的 Solidity 智能合约，需要从一开始就套用安全模式（CEI、访问控制、输入校验）时。
- 审计已有合约，逐项排查重入、整数溢出/下溢、访问控制缺失、抢跑、未校验外部调用返回值等漏洞时。
- 实现 DeFi 协议、托管、提现、批量支付等涉及资金流转的合约时。
- 在送外部专业审计前，做自检并准备 NatSpec 文档与漏洞清单时。
不该用：
- 非 EVM 链合约（Solana/Anchor、Cairo、Move、Cosmos）→ 各链漏洞模型不同，本技能仅覆盖 Solidity/EVM。
- 链下后端、前端、API 代码的逻辑审查 → 用
code-reviewer。 - 仅审计第三方库/依赖的已知 CVE 与供应链风险 → 用
dependency-auditor。 - 形式化验证、符号执行等高阶证明工作 → 超出范围，应交由专门工具/审计方。
步骤
- 定基线：确认
pragma版本。>=0.8.0内置溢出/下溢检查；<0.8.0必须引入 OpenZeppelinSafeMath。优先升级编译器而非打补丁。 - 过四大高危漏洞：逐函数检查 ①重入 ②整数溢出/下溢 ③访问控制 ④抢跑（见「指令」与「示例」）。
- 核心模式重写：把「先外部调用后改状态」改写为 Checks-Effects-Interactions（CEI）；资金分发用 Pull-over-Push；批量转账禁用循环
transfer。 - 加防护层：高危函数加
nonReentrant、onlyOwner/角色 modifier、whenNotPaused，并在入口做输入校验（零地址、自地址、非零金额、余额上限）。 - 跑安全测试：用 Hardhat 编写攻击合约，断言重入被 revert、溢出被 revert、越权调用被 revert。
- 审计准备：补全 NatSpec（
@title/@notice/@dev/@param），对照清单逐条打钩，输出残留风险与假设。
指令
- 重入：状态更新必须早于外部调用；外部调用（
call{value:}）放在函数最后，且检查返回success。可叠加 OpenZeppelinReentrancyGuard的nonReentrant。 - 溢出/下溢：
0.8+默认 revert，无需 SafeMath；低版本用using SafeMath for uint256并.add/.sub。 - 访问控制：用
Ownable的onlyOwner或自定义角色modifier；鉴权一律用msg.sender，禁用tx.origin。 - 抢跑：敏感交易用 commit-reveal 两步法（先提交
keccak256承诺，下一区块再揭示）。 - 外部交互：禁止对不可信合约
delegatecall；不硬编码地址；用事件记录关键状态变更。 - Gas：状态变量优先
uint256、对小类型做 storage 打包；函数参数用calldata而非memory。
示例
不安全 → 安全（CEI 重入修复）：
// 危险：先转账后改状态，可被重入
function withdraw() public {
uint256 amount = balances[msg.sender];
(bool ok, ) = msg.sender.call{value: amount}(""); require(ok);
balances[msg.sender] = 0; // 太晚！
}
// 安全：Checks-Effects-Interactions
function withdraw() public {
uint256 amount = balances[msg.sender];
require(amount > 0, "Insufficient balance");
balances[msg.sender] = 0; // EFFECTS 先
(bool ok, ) = msg.sender.call{value: amount}(""); // INTERACTIONS 后
require(ok, "Transfer failed");
}
访问控制 + 紧急熔断：
import "@openzeppelin/contracts/access/Ownable.sol";
import "@openzeppelin/contracts/security/Pausable.sol";
contract Vault is Ownable, Pausable {
function withdraw(uint256 amount) public onlyOwner whenNotPaused {
payable(owner()).transfer(amount);
}
function emergencyStop() public onlyOwner { _pause(); }
}
Hardhat 安全测试（断言攻击被拦截）：
it("Should prevent reentrancy attack", async function () {
const bank = await (await ethers.getContractFactory("SecureBank")).deploy();
const attacker = await (await ethers.getContractFactory("ReentrancyAttacker")).deploy(bank.address);
await bank.deposit({ value: ethers.utils.parseEther("10") });
await expect(
attacker.attack({ value: ethers.utils.parseEther("1") })
).to.be.revertedWith("ReentrancyGuard: reentrant call");
});
审计前自检清单（逐条打钩）：
[ ] 重入防护（ReentrancyGuard 或 CEI） [ ] 溢出/下溢（0.8+ 或 SafeMath）
[ ] 访问控制（Ownable/角色/modifier） [ ] 输入校验（require）
[ ] 抢跑缓解（必要时 commit-reveal） [ ] Gas（storage 打包、calldata）
[ ] 紧急熔断（Pausable） [ ] 支付用 Pull 而非 Push
[ ] 不对不可信合约 delegatecall [ ] 鉴权用 msg.sender 而非 tx.origin
[ ] 外部调用置于函数末尾并检查返回值 [ ] 不硬编码地址；代理则有升级机制
注意事项
- 编译器版本是第一道防线：先确认
pragma，<0.8.0不加 SafeMath 的任何溢出讨论都无意义。 - CEI ≠ 万能：
nonReentrant只防同合约重入，跨合约/只读重入（read-only reentrancy）仍可能绕过，需结合调用顺序审查。 - 批量 Push 支付有 DoS 风险：循环里任一
transfer失败会拖垮整批，务必改为 Pull 模式让用户自行提现。 tx.origin鉴权可被钓鱼合约劫持，一律换msg.sender。- 本技能不替代专业审计：自检通过仅降低风险，主网上线高价值合约仍需第三方审计 + Slither 等静态分析。
- 漏洞模型与最佳实践随生态演进，具体 OpenZeppelin 导入路径（如
security/在新版可能迁移）以当前安装版本为准，不要凭记忆写路径。
互见
- related：
code-reviewer—— 本技能专攻链上合约的资金/权限漏洞，code-reviewer 覆盖链下与通用代码缺陷，二者互补。 - related：
dependency-auditor—— 合约常依赖 OpenZeppelin 等库，dependency-auditor 负责这些第三方依赖的 CVE 与供应链风险。
本条采编自 wshobson/agents（MIT）。