用途：该技能用于在源代码中检查“否认”威胁，即用户因日志和证据不足而能够否认自己执行过的操作，对应 STRIDE 模型中的 R，即非否认性安全属性的违规。
主要能力：工作流包含确定范围、分析否认威胁、报告发现三个步骤。分析清单覆盖认证事件缺少审计日志、敏感数据增删改未记录、日志缺少操作者身份、日志注入漏洞、日志可被篡改、失败操作未记录、缺少交易证据、时间戳完整性、日志细节不足、缺少集中聚合、保留策略缺口、选择性日志缺失等。支持 --scope、--depth、--severity、--format、--fix、--quiet、--explain 等标志。发现结果使用 REPUD 前缀编号，如 REPUD-001，references.stride 设为 R，并关联 CWE-778、CWE-117 等。严重级别分为 critical、high、medium、low，其中金融交易或认证事件完全无审计日志、可伪造审计条目的日志注入为 critical。
使用方式：资料未提供具体安装命令或调用步骤。
适用场景：适用于审查认证、支付、管理操作、数据修改、访问控制、文件上传下载以及日志基础设施等安全关键代码。
限制：小型内部工具和原型可能无需全面审计日志，期望应随威胁模型和监管环境调整；存在日志框架不代表关键操作已被记录；日志注入严重程度取决于日志消费方；集中聚合属于基础设施关注点，若代码库仅含应用代码，相关缺口不应高于 low；应用日志与审计日志需区分，缺少审计基础设施比缺少调试日志更严重。