Mitigação de GhostLock (Stack Use-After-Free) em Infraestrutura Linux

Pacote completo de engenharia de prompt para mitigação de vulnerabilidade GhostLock (Stack UAF)

Este NÃO é um prompt solto — é um pacote de 6 arquivos complementares prontos para uso em agentes de IA generativa, projetado para levar um LLM a ~99% de precisão na tarefa de analisar, documentar e planejar a mitigação da vulnerabilidade GhostLock (Stack Use-After-Free) que afeta todas as distribuições Linux há 15 anos.

📦 O que você recebe:

01-prompt-principal.md — Prompt reutilizável com persona de Arquiteto de Segurança Sênior, objetivo claro de produzir um ADR (Architecture Decision Record), formato de saída com schema YAML exato, e passo a passo de raciocínio que o agente deve seguir.

02-regras-e-restricoes.md — 22 regras imperativas numeradas: o que o modelo NUNCA deve fazer, como lidar com informação faltante, formato de erro padronizado, e guardrails contra alucinação de CVEs ou versões de kernel.

03-contexto-e-exemplos.md — Glossário técnico completo (stack frame, dangling pointer, sanitizers, CFI, ASLR) + 3 exemplos few-shot completos de input→output, incluindo um caso de borda com múltiplos locks aninhados.

04-harness-de-verificacao.md — Checklist de autoverificação que o modelo executa antes de entregar a resposta + critérios objetivos de aceite para o comprador validar as saídas.

05-template-adr-variacao.md — Template de ADR em duas versões: completa (para C-level e compliance) e resumida (para daily de squad).

06-diagramas-e-visualizacoes.md — Descrição dos 3 diagramas SVG inclusos (stack layout, árvore de decisão ADR, estratégia em camadas) que podem ser gerados ou referenciados pelo agente.

🎯 Para quem é:

• Arquitetos de Software e Segurança responsáveis por infraestrutura Linux
• Tech Leads avaliando adoção de sanitizers e CFI em pipelines CI/CD
• Equipes de SecOps e Blue Team documentando decisões arquiteturais de mitigação
• CISO e Gerentes de Engenharia que precisam de um ADR rastreável para auditoria