用途：面向 Solana/Anchor 程序的安全审计，扫描 6 类关键漏洞，包括任意 CPI（跨程序调用）、PDA 校验不当、缺失签名者检查、缺失所有权检查以及 sysvar 欺骗等。适用于对 Solana 程序做代码审计的场景。
来源与标识：作者 Trail of Bits，源仓库 trailofbits/skills，许可 AGPL-3.0，分类为 building-secure-contracts，Trit 标记为 -1（MINUS）。
相关技能：audit-context-building、codeql、semgrep、variant-analysis。
用法与详细示例：资料未提供具体安装命令、调用方式或代码示例，仅指向原始仓库 https://github.com/trailofbits/skills 获取详细使用指南与示例。
限制：资料未提供支持的语言版本、检测准确率、性能数据、收费信息或平台要求；具体能力边界与误报情况暂未提供。