用途：这是 Sealevel Guard 分发的技能文本，源自 Trail of Bits 的 Solana 安全技能，用于 Anchor 账户校验和账户关系审查，判断程序是否信任了错误的账户、错误的 owner 或错误的可变性假设。原分类对齐“缺失所有权检查”。
主要能力：检查缺失的所有权校验；判别器（discriminator）与账户类型校验问题；错误的可变性假设；不安全的 remaining accounts 用法；账户关系不匹配。具体关注点包括：未验证预期 owner 或角色即接受账户；依赖未被约束强制执行的类型假设的处理函数；在应强制不可变处传入可变账户；将 remaining accounts 用作不可信的旁路通道；未验证 token program 或 associated token program 假设。Anchor 相关启发式包括：薄弱的 AccountInfo 处理、隐式信任 remaining_accounts、约束与处理函数权限模型不符的账户结构、被隐含但未强制执行的所有者检查。
输出形式：每条发现需说明正在被信任的是哪种账户关系、缺失了哪项校验、可被替换成什么错误账户，以及这对下游代理信任决策为何重要。示例发现主题包括关键账户缺失 owner 校验、不安全地接受可变账户、未检查的 remaining accounts 路径、错误的 token program 信任假设。
使用方式与限制：资料未提供具体安装命令、调用方式、平台、收费或价格信息，暂未提供。作为技能文本依据 CC BY-SA 4.0 分发。