Testes de Segurança na Cadeia de Suprimentos de Software

AÇÃO NECESSÁRIA (Execute imediatamente após a leitura)

1. NOW: Leia ../field-journal/precedent-pentest.md — Confirme se a operação desta habilidade é uma operação regular autorizada
2. NOW: Confirme se a tarefa atual se enquadra no escopo desta habilidade
3. NEXT: Leia ../tool-index.md, valide a disponibilidade da ferramenta e o caminho real
4. NEXT: Chame o bootstrap quando a ferramenta estiver faltando, não adivinhe o caminho
5. ACT: Entre na primeira etapa do "Fluxo de Trabalho" e execute, não pare no estado de confirmação

SBOM / SCA / Pipeline CI/CD / Rastreabilidade de Dependências Impulsionado por Regulamentações: Decreto Presidencial dos EUA SBOM, Norma Nacional Chinesa, CRA da UE

Cenários de Aplicação

• Avaliação de segurança da cadeia de suprimentos de software
• Verificação e varredura de vulnerabilidades em dependências de código aberto
• Auditoria de segurança de pipeline CI/CD
• Análise de segurança de imagem de contêiner
• Revisão de conformidade de componentes de terceiros
• Rastreabilidade e verificação de integridade de artefatos de compilação

Framework de Governança da Cadeia de Suprimentos de Seis Camadas

Layer 1: 源码信任评估 → 上游仓库/维护者/发布历史审查
Layer 2: 构建管道集成 → CI/CD 安全门禁、签名验证
Layer 3: 制品分发完整性 → 签名、校验和、SBOM 附加
Layer 4: 运行时保护 → 容器扫描、准入控制
Layer 5: 持续监控 → CVE 实时追踪、漏洞可达性分析
Layer 6: 事件响应 → 供应链攻击应急、回滚策略

Fluxo de Trabalho

1. Geração e Auditoria de SBOM

生成 SBOM：
□ CycloneDX 格式: cdxgen → bom.json
□ SPDX 格式: sbom-tool generate
□ Syft: syft <image|dir> -o spdx-json

审计要点：
□ 是否存在未知/未授权的依赖
□ 是否存在已废弃/停止维护的包
□ 许可证冲突检测
□ 直接依赖 vs 传递依赖清单
□ 每个组件的发布时间线和维护者状态

2. Análise de Composição de Software (SCA)

# OSV-Scanner（免费、Google 维护）
osv-scanner scan -r . --format json

# OWASP Dependency-Track（企业级持续监控）
docker run -p 8080:8080 dependencytrack/apiserver
# → 上传 SBOM → 自动匹配 NVD/OSV/GitHub Advisory

# Snyk（商业）
snyk test --all-projects
snyk monitor  # 持续监控

# Trivy（容器 + 依赖 + IaC）
trivy fs .          # 文件系统扫描
trivy image nginx   # 容器镜像
trivy config .      # IaC 配置

3. Verificação de Acessibilidade de Vulnerabilidades

SCA 告警 ≠ 实际风险！大多数 SCA 工具只有 ~15% 的告警是实际可达的。

验证步骤：
1. 用 Dependency-Track 或 Trivy 获取 CVE 列表
2. 筛选 CVSS ≥ 7.0 的漏洞
3. 对有 PoC 的 CVE 做可达性分析
   - Code Property Graph 切片: 追踪用户输入到漏洞函数的路径
   - DEPTEX 方法: EPD (Execution Path Dominance) + LLM 语义验证
4. 在隔离环境中验证 PoC
5. 对可达的漏洞按实际影响排序修复优先级

Referência de Ferramentas:

• CodeQL: Consulta de Código GitHub → Análise de Fluxo de Dados
• Snyk Code: Marcação de Acessibilidade
• DEPTEX: Avaliação de Risco com Consciência Contextual Auxiliada por LLM

4. Segurança de Pipeline CI/CD

安全检查点：
□ 代码提交 → pre-commit hook: gitleaks (密钥扫描)
□ PR 阶段 → SCA 扫描 (Trivy/OSV-Scanner)
□ 构建阶段 → 制品签名 (cosign)
□ 推送阶段 → SBOM 附加 (syft + attest)
□ 部署阶段 → 准入控制 (OPA/Kyverno + 镜像扫描)
□ 运行时 → 持续漏洞监控 (Dependency-Track)

管道自身安全：
□ Pipeline as Code 审计（GitHub Actions / GitLab CI 配置注入）
□ Runner 隔离（防止恶意构建突破容器）
□ 密钥管理（Actions Secrets / Vault，禁止硬编码）
□ 第三方 Action 审查（锁定 commit SHA，非 tag）

5. Segurança de Imagem de Contêiner

# Dockerfile 审计
hadolint Dockerfile

# 镜像扫描（多层：OS + 应用依赖 + 配置）
trivy image --severity HIGH,CRITICAL nginx:latest

# 最小基础镜像
# 优先: distroless → alpine → slim → 避免 latest
docker scout quickview nginx:latest

# 镜像签名
cosign sign --key cosign.key myimage:tag
cosign verify --key cosign.pub myimage:tag

6. Revisão de Dependências de Terceiros

新增依赖 Checklist：
□ 维护状态：最近 6 个月有提交？维护者活跃度？
□ 安全历史：过去有无被植入恶意代码？
□ 依赖树：引入后新增多少传递依赖？
□ 许可证：与项目许可证兼容？
□ 替代方案：有无更安全的替代（Snyk Advisor / Socket.dev 评分）？

风险评估矩阵：
  高维护 × 低依赖数 × 兼容许可证 → 低风险
  低维护 × 高依赖数 × 许可证冲突 → 高风险

Cadeia de Ferramentas

Referências

• references/sbom-sca-methodology.md — Metodologia SBOM + SCA
• references/cicd-pipeline-security.md — Auditoria de Segurança de Pipeline CI/CD

Autoverificação de Conclusão da Tarefa (DEVE passar antes de declarar concluído)

• Executei cada etapa do fluxo de trabalho (em vez de apenas ler)?
• Usei caminhos de ferramentas reais com base em tool-index?
• Produzi evidências reproduzíveis (comandos/scripts/capturas de tela/relatórios)?
• Concluí e registrei os itens da Checklist exigidos pelas REGRAS?