用途：在编写新智能合约、审查合约代码、审计或部署前加固合约、实现访问控制与升级模式或代币标准、评估合约架构系统性风险时，提供安全优先的实践指导。不适用于通用 Web 应用安全、链下后端代码审查、非区块链密码协议设计。
主要能力：按语言整理常见漏洞类别与缓解措施。Solidity/EVM 涵盖重入（采用 Checks-Effects-Interactions 模式与 ReentrancyGuard）、整数溢出/下溢（使用 Solidity >=0.8 或 SafeMath）、访问控制（OpenZeppelin Ownable/AccessControl，管理员用多签）、闪电贷操纵（时间加权预言机、提交-揭示方案）、抢跑（提交-揭示、私有内存池、批量拍卖）、delegatecall 注入（限制目标、避免用户可控地址）、存储冲突（EIP-1967 存储槽、OpenZeppelin 可升级合约）。Solana/Rust 涵盖缺失签名者检查（验证 account.is_signer）、缺失所有者检查（验证 account.owner == program_id）、账户混淆（使用判别器、Anchor 账户校验）、算术溢出（checked_add、checked_mul、饱和运算）。
使用方式：按安全开发清单执行——使用经过审计的成熟库（OpenZeppelin、Anchor）；遵循 Checks-Effects-Interactions；实现全面访问控制；预言机使用时间加权平均价格；加入紧急暂停机制；编写不变量测试与模糊测试；主网部署前取得独立审计；在可行时使用形式化验证。测试方法包括：所有状态转换的单元测试、协议不变量的不变量/属性测试、针对主网状态的分叉测试、Foundry 或 Echidna 模糊测试、Halmos 或 Manticore 符号执行。
限制：资料未提供具体安装命令、收费或价格信息，也未给出 Move 的漏洞明细；实际效果取决于项目与审计情况。