offensive-windows-mitigations
Compare original and translation side by side
🇺🇸
Original
English🇨🇳
Translation
ChineseWindows Exploit Mitigations Audit (offensive-windows-mitigations
)
offensive-windows-mitigationsWindows 利用缓解措施审计 (offensive-windows-mitigations
)
offensive-windows-mitigationsAuthorization & Scope Notice: This skill is part of the REA_Skill + claude-red Unified Security & Reverse Engineering Suite. It is designed strictly for authorized security assessments, defensive architecture reviews, vulnerability triage, bug bounty verification, and remediation engineering on software, infrastructure, and assets you own or have explicit permission to test.
授权与范围声明: 本 skill 属于 REA_Skill + claude-red 统一安全与逆向工程套件。它严格设计用于针对你自己拥有或已获得明确测试许可的软件、基础设施和资产,进行授权安全评估、防御性架构审查、漏洞分诊、Bug Bounty 验证以及修复工程。
Overview
概述
Windows binary and OS mitigation verification covering High-Entropy ASLR, DEP/NX, Control Flow Guard (CFG), eXtended Flow Guard (XFG), Intel CET Hardware Shadow Stacks, ACG, and Hypervisor-Protected Code Integrity (HVCI).
Windows 二进制与操作系统缓解措施验证,涵盖 High-Entropy ASLR、DEP/NX、Control Flow Guard (CFG)、eXtended Flow Guard (XFG)、Intel CET Hardware Shadow Stacks、ACG 以及 Hypervisor-Protected Code Integrity (HVCI)。
Operational Workflow
操作工作流
- Surface & Architecture Inventory
- Identify all entrypoints, trust boundaries, parsers, and configuration files relevant to Windows Exploit Mitigations Audit (domain).
infrastructure - Combine static code/binary inspection (via REA MCP tools, , AST analysis, or decompilation) with runtime configuration verification.
rg
- Identify all entrypoints, trust boundaries, parsers, and configuration files relevant to Windows Exploit Mitigations Audit (
- Hypothesis & Vulnerability Verification
- Test each security invariant systematically against known CWE and OWASP patterns.
- Record concrete evidence: affected file/procedure, line numbers or binary offsets, request/response trace, and root cause.
- Impact & Reachability Triage
- Evaluate whether the issue is reachable across trust boundaries, whether defense-in-depth controls mitigate it, and compute an accurate CVSS v3.1 / v4.0 score.
- Remediation & Regression Verification
- Implement or provide production-ready, copy-pasteable remediation code.
- Write an automated regression test or verification command to prove the flaw is resolved with 0 regressions.
- 攻击面与架构梳理
- 识别与 Windows 利用缓解措施审计 (领域)相关的所有入口点、信任边界、解析器和配置文件。
infrastructure - 将静态代码/二进制检查(通过 REA MCP 工具、、AST 分析或反编译)与运行时配置验证相结合。
rg
- 识别与 Windows 利用缓解措施审计 (
- 假设与漏洞验证
- 针对已知的 CWE 与 OWASP 模式,系统性地测试每一项安全不变量。
- 记录具体证据:受影响的文件/过程、行号或二进制偏移、请求/响应追踪以及根本原因。
- 影响与可达性分诊
- 评估问题是否可跨信任边界触达、纵深防御控制能否缓解该问题,并计算准确的 CVSS v3.1 / v4.0 分数。
- 修复与回归验证
- 实施或提供生产级、可直接复制粘贴的修复代码。
- 编写自动化回归测试或验证命令,以证明缺陷已被解决且 0 处回归。
Audit & Verification Checklist
审计与验证检查清单
| Phase | Check | Verification Method | Expected Secure State |
|---|---|---|---|
| 1. Discovery | Enumerate all | Source search / REA binary & bundle inspection | Complete inventory of trust boundaries |
| 2. Input & State | Validate parser behavior, type safety, and state transitions | Boundary testing & static taint analysis | Strict schema validation and invariant checks |
| 3. Auth & Isolation | Verify caller identity, tenant isolation, and least privilege | Horizontal/vertical privilege matrix check | Explicit deny-by-default enforcement |
| 4. Defense-in-Depth | Inspect secondary controls, logging, and compiler/runtime flags | Config & header/binary flag audit | Full hardening and telemetry enabled |
| 5. Remediation | Apply fix and execute automated regression test | | 0 vulnerabilities, 0 build errors |
| 阶段 | 检查项 | 验证方法 | 期望的安全状态 |
|---|---|---|---|
| 1. 发现 | 枚举所有 | 源码搜索 / REA 二进制与打包产物检查 | 完整的信任边界清单 |
| 2. 输入与状态 | 验证解析器行为、类型安全与状态转换 | 边界测试与静态污点分析 | 严格的 schema 校验与不变量检查 |
| 3. 认证与隔离 | 验证调用方身份、租户隔离与最小权限 | 水平/垂直权限矩阵检查 | 显式的默认拒绝执行 |
| 4. 纵深防御 | 检查次级控制措施、日志记录以及编译器/运行时标志 | 配置与头文件/二进制标志审计 | 完整加固并启用遥测 |
| 5. 修复 | 应用修复并执行自动化回归测试 | | 0 个漏洞、0 个构建错误 |
Integration with REA MCP & Tooling
与 REA MCP 及工具链的集成
- Static & Binary Analysis: Pair with ,
rea-universal-orchestrator,rea-binary-disassembly, orrea-web-bundle-recoverywhen source code is unavailable.rea-mobile-app-recovery - Interactive Scoping: Invoke before large-scale assessments to clarify scope, target environments, and acceptance criteria.
/rea-grill-me - Reporting: Pair with to format findings with CVSS vectors, CWE mappings, and remediation patches.
offensive-reporting
- 静态与二进制分析: 在无法获取源码时,配合使用 、
rea-universal-orchestrator、rea-binary-disassembly或rea-web-bundle-recovery。rea-mobile-app-recovery - 交互式范围界定: 在开展大规模评估之前,调用 以明确范围、目标环境与验收标准。
/rea-grill-me - 报告: 配合 使用,以 CVSS 向量、CWE 映射和修复补丁的形式整理发现结果。
offensive-reporting