用途:这是一个智能合约安全审计技能,用于在DeFi协议中系统排查高危漏洞,覆盖10类常见缺陷,并给出是否值得投入审计的前置判断方法。
主要能力:
- 预筛信号:通过TVL、审计历史、代码规模等判断目标是否值得审计,并给出评分标准。
- 十类漏洞排查:会计状态不同步、访问控制、代码路径不完整、边界条件、预言机与价格操纵、ERC4626金库攻击、重入、闪电贷、签名重放、代理与升级问题。每类含成因、变体、真实案例与grep检索模式。
- 核心规则:读取所有同类函数,若vote()有修饰器,需检查poke()、reset()、harvest()等兄弟函数是否遗漏。
- Foundry PoC模板:提供分叉主网、设置攻击者与受害者账户、验证影响的测试骨架,以及vm.prank、vm.deal、vm.warp等常用作弊码。
使用方式:先做预筛判断,再按十类漏洞逐一用grep模式定位可疑代码,最后用Foundry模板编写PoC验证。
适用场景:DeFi协议安全审计、漏洞赏金狩猎、智能合约代码审查。
限制:资料未提供具体安装命令、运行环境要求、收费方式与平台支持信息;部分案例的赔付金额与细节以资料原文为准,未提供的内容暂未说明。