用途：PDA Integrity 是一个面向 Solana 程序的安全审查技能，专门检查程序派生地址（PDA）的设计是否允许伪造、角色混淆或权限派生薄弱。它源自 Trail of Bits 的 Solana 安全技能，原始分类对应“不当 PDA 验证”，由 Sealevel Guard 修改并以 CC BY-SA 4.0 分发。
主要能力：关注不安全的种子设计、不当的 PDA 验证、bump 与派生假设、通过 PDA 复用导致的账户角色混淆，以及基于派生账户的权限伪造路径。检查要点包括：由攻击者可影响或绑定薄弱的种子派生的 PDA；未将权限绑定到稳定状态的派生逻辑；信任 PDA 形态账户却不验证预期角色的代码；在不兼容信任边界间复用同一 PDA 模式；以及仅因“是派生地址”就认为其安全的假设。
Anchor 相关启发式：暗示 PDA 安全但未证明的账户约束；接受种子或 bump 未严格验证账户的处理器；派生过于宽松的配置或金库权限。
输出形式：对每个发现说明 PDA 的预期角色、派生或验证为何薄弱、可能的利用路径，以及对信任决策的影响。示例发现主题包括攻击者控制的种子组件、配置与金库权限之间的 PDA 角色混淆、未验证的 bump 或派生假设、派生权限未绑定到不可变配置。
使用方式与限制：资料未提供具体安装命令、调用方式或运行步骤，暂未提供。该技能为内部专用模块，适用于 Solana 程序安全审查场景。