本技能用于智能合约安全审计,聚焦 DeFi 漏洞挖掘与漏洞赏金场景。
用途:在阅读代码前先做目标筛选,避免投入高但收益低的目标。资料给出「预审 kill 信号」:TVL 低于 50 万美元、简单协议已有多家顶级审计、代码少于 500 行且流程单一等情况建议跳过;并给出收益估算公式 max_realistic_payout = min(10% × TVL, program_cap),低于 1 万美元则跳过。目标评分达到 6/10 才建议投入,评分维度包括 TVL、Immunefi 严重级赏金、是否缺少顶级审计、部署时间等。
主要能力:按 10 类漏洞组织排查方法,每类包含根因变体、真实付费案例与 grep 排查模式。核心规则是「读完所有同族函数」,若 vote() 有修饰符,需检查 poke()、reset()、harvest() 等,同族函数缺失的修饰符往往就是漏洞(据资料占严重发现约 19%)。各漏洞类含具体 grep 命令,例如查找记账变量使用 grep -rn "totalSupply|totalShares|totalAssets|totalDebt|cumulativeReward|rewardPerShare" contracts/,检查访问控制同族函数、_requireOwned 与 ownerOf 的所有权判断、latestRoundData 的 updatedAt 时效检查、ecrecover 前后的 nonce 与 chainid 等。
使用方式:先用预审信号与评分决定是否深入;再按漏洞类逐项执行 grep 模式定位可疑点;最后用 Foundry PoC 模板编写复现测试,模板含 vm.createSelectFork、vm.startPrank、deal、vm.warp 等 cheatcode,并断言攻击者余额增加。
适用场景:DeFi 协议与智能合约的漏洞赏金审计、代码安全评审。
限制:资料未提供安装命令、具体平台支持范围、收费与价格信息;示例中的漏洞、金额与案例出自资料原文,未在资料外核实。PoC 模板仅覆盖重入等部分场景,未提供完整可运行配置。