用途：用于审计 Solidity/EVM 合约，按漏洞类别系统排查重入、整数溢出/下溢、访问控制、delegatecall、随机数操纵、闪电贷、签名重放、抢跑/MEV、selfdestruct 与 CREATE2 等风险。
主要能力：讲解经典单函数重入、跨函数重入、跨合约重入与只读重入，附带状态更新顺序示意；梳理 0.8 前后整数溢出差异、unchecked 块与类型截断风险；对比 tx.origin 与 msg.sender 在鉴权中的安全性，列出缺失 onlyOwner、未保护 selfdestruct/delegatecall、默认可见性、零地址检查缺失等问题；说明链上随机数来源的可预测性与 commit-reveal 绕过；给出代理模式存储布局冲突、函数选择器碰撞的判断方法；覆盖缺少 nonce、跨链重放与 EIP-712 实现错误；以及闪电贷原子攻击流程、短地址攻击与 CREATE2 预注资、预授权、变形合约利用。
使用方式：可按文档决策树逐项检查——先判断是否代理模式，再检查外部调用、代币/ETH 处理、签名、随机数、DeFi 交互与 CREATE2；必要时加载 SOLIDITY_VULN_PATTERNS.md 查看漏洞与修复代码对照。工具用法保留原文：Slither 在项目根目录执行 slither .；Mythril 执行 myth analyze contract.sol；Foundry 执行 forge test --fuzz-runs 10000；Hardhat 执行 npx hardhat test；另提及 Echidna、Certora、4naly3er 的用途。
适用场景：智能合约安全审计、代码审查与漏洞复现分析。限制：文档未提供具体收费、价格或性能数据；结论依赖具体合约实现，需结合实际代码与测试验证。