智能合约漏洞

审计中的真实痛点

大模型在评审 Solidity 合约时，对单文件内的常见漏洞尚可应付，但面对两类场景时漏报明显：一是跨合约重入——攻击者通过外部调用把执行流切回主合约，基础模型往往只盯着单个函数的调用栈；二是代理模式的存储布局冲突——storage 槽位错位会让升级合约读到错误的变量。此外，整数溢出、delegatecall 权限误用、签名重放、CREATE2 地址预言等攻击路径，也很难被泛化模型稳定识别。

这个技能如何工作

该技能以专家审计手册的形式组织，覆盖以下漏洞类别：

• 重入攻击：单函数、跨函数、跨合约、只读重入四种变体
• 整数溢出 / 下溢：旧版编译器与数学库缺失场景
• 访问控制：权限校验缺失或逻辑绕过
• delegatecall：上下文错用导致的权限提升
• 随机数操纵、闪电贷、签名重放
• 前置交易 / MEV 与 CREATE2 部署地址操纵

调用时它会先做路由：若目标属于 DeFi 协议漏洞（闪电贷、预言机操纵、治理攻击），会联动 defi-attack-patterns；若涉及链下基础设施的数据反序列化，则路由到 deserialization-insecure。需要代码级证据时，可加载 SOLIDITY_VULN_PATTERNS.md，其中提供每类漏洞的易受攻击与修复后的对照代码、引入漏洞的 Gas 优化陷阱，以及带槽位计算的代理模式冲突实例。

适用边界

它不是 linter，也不输出自动化扫描报告，而是给出结构化的攻击路径分析。对于存储布局问题，需配合 SOLIDITY_VULN_PATTERNS.md 的槽位计算才能准确判断。面对形式化验证级别的证明，仍需专业工具链。