用途：对 Web3 智能合约做安全审计，重点覆盖 DeFi 场景，按 10 类漏洞组织排查思路与定位方法，帮助在赏金审计中筛选目标并快速锁定可疑代码。
前置筛选：先做预审拦截信号判断，用最大现实收益=min(10%×TVL, 项目上限) 估算，收益过低或多轮顶级审计已覆盖的简单协议可跳过；目标评分（TVL>1000 万美元、Immunefi 严重级≥5 万美元、当前版本无顶级审计、部署<30 天、曾审计过、有源码与 natspec、可升级代理）达到 6 分及以上再投入。
核心规则：读取全部同级函数，若 vote() 有修饰器，必须检查 poke()、reset()、harvest() 等，缺失修饰器的同级函数往往就是漏洞。
十类漏洞与主要能力：会计状态不同步（总量与余额双变量不同步、早返回跳过状态更新、更新顺序错误）；访问控制（同级缺修饰器、存在性校验代替所有权校验、if 式静默修饰器、未初始化代理）；路径不完整（update 缺退款、部分成交代币卡死、mint 绕过 deposit 校验）；边界与 off-by-one（周期/时间锁/循环/数组/金额/精度六类边界）；预言机与价格操纵（缺过期校验、缺 Pyth 置信区间、TWAP 过短、单一来源）；ERC4626 金库攻击（空金库汇率操纵、转账未迁移锁仓记录）；重入（单函数、跨函数、跨合约、只读）；闪电贷（储备与 slot0 现货价操纵）；签名重放（缺 nonce、缺 chainid）；代理升级（存储冲突、实现未初始化、delegatecall 到可控地址）。
使用方式：结合各漏洞给出的 grep 模式定位可疑代码，例如 grep -rn "totalSupply|totalShares|totalAssets" contracts/、grep -rn "latestRoundData" contracts/ -A5 | grep -v "updatedAt|timestamp"、grep -rn "function withdraw|function redeem|function claim" contracts/ -A2 | grep -v "nonReentrant" 等；随后用 Foundry PoC 模板（vm.createSelectFork、makeAddr、deal、vm.startPrank、vm.warp 等 cheatcode）编写验证测试，并用 assertGt 断言攻击者余额增长。
限制：内容针对 Solidity 与 DeFi 常见模式，实际可用性取决于目标是否开放赏金及代码可获取性；文中未提供具体安装命令、支持的链、版本要求或定价信息，暂未提供。审计结论仍需人工复核，不应直接作为攻击用途。