用途：面向 Solidity/EVM 智能合约安全审计，提供专家级攻击手法与排查清单，帮助审计者发现基础模型容易遗漏的跨合约重入、代理模式存储布局冲突等隐蔽问题。
主要能力：覆盖重入（单函数、跨函数、跨合约、只读）、整数溢出/下溢（含 unchecked 与 SafeMath 绕过）、访问控制（tx.origin 与 msg.sender、缺失 onlyOwner、未保护 selfdestruct/delegatecall、默认可见性、零地址检查）、随机数操纵、delegatecall 存储布局与函数选择器冲突、抢跑/MEV、签名重放（缺失 nonce、跨链重放、EIP-712 实现错误）、selfdestruct 强制转账、CREATE2 确定性地址利用、闪电贷攻击模式、短地址攻击。
使用方式：按决策树逐项排查——是否代理模式（查存储槽与选择器冲突、初始化器重复调用）、是否有外部调用（查重入与 CEI、ReentrancyGuard 覆盖所有入口）、是否处理代币/ETH（查溢出、类型截断、强制转账）、是否用签名（查 nonce、chainId、ecrecover 零地址）、是否用链上随机数、是否涉及 DeFi（转 defi-attack-patterns）、是否用 CREATE2。工具用法：Slither 在项目根目录执行 slither .；Mythril 执行 myth analyze contract.sol；Foundry 执行 forge test --fuzz-runs 10000；Hardhat 执行 npx hardhat test；Echidna 做属性模糊测试；Certora 做形式化验证；4naly3er 生成 gas 与漏洞报告。
适用场景：智能合约审计、DeFi 协议安全评估、代理合约与签名方案审查。
限制：资料未提供具体收费、价格、平台支持范围与效果保证；部分缓解措施与工具需结合实际代码验证，不能替代人工审计。