address-sanitizer

Visão geral da skill address-sanitizer

Para que serve o address-sanitizer

A skill address-sanitizer ajuda você a usar o AddressSanitizer (ASan) para detectar bugs de segurança de memória durante testes, especialmente em fuzzing e triagem de crashes. Ela é mais útil quando você precisa transformar um vago “algo está corrompendo memória” em um stack trace reproduzível, histórico de alocações ou caso de teste que falha de forma consistente.

Quem mais se beneficia e em quais casos

A skill address-sanitizer é uma boa opção para fluxos de teste em C/C++, pipelines de fuzzing e código em Rust que usa unsafe. Também é útil para revisores de segurança que querem um caminho prático de address-sanitizer for Security Audit antes de partir para uma análise manual mais profunda.

O que a torna diferente

ASan não é um truque genérico de prompt; é um fluxo de instrumentação em tempo de compilação com trade-offs em runtime. O principal valor da skill address-sanitizer é ajudar você a decidir quando o ASan é a ferramenta certa, que entradas ele precisa e como evitar resultados enganosos causados por incompatibilidade entre build, flags ou ambiente.

Como usar a skill address-sanitizer

Instale a skill

Use o fluxo de instalação do repositório que o seu skill runner espera e, em seguida, verifique se a instalação de address-sanitizer install deu certo abrindo SKILL.md no bundle da skill. Se o seu ambiente suportar manifests de skill, confirme que o nome é exatamente address-sanitizer para que o seu prompt router acione a orientação correta.

Forneça o contexto de teste certo

Um bom address-sanitizer usage começa com um alvo específico: linguagem, sistema de build, comando de teste, sintomas do crash e se você está fazendo fuzzing, executando testes unitários ou reproduzindo um problema. Um pedido fraco como “me ajuda a usar ASan” é menos útil do que: “Tenho uma biblioteca C++ construída com CMake, um crash em um fuzz target e preciso de flags de ASan mais um fluxo mínimo de reprodução.”

Leia os arquivos da skill nesta ordem

Comece com SKILL.md e depois inspecione quaisquer notas de repositório ou docs de apoio que o seu ambiente disponibilizar. Para este caminho de repositório, a ordem prática de leitura é encontrar a orientação principal e depois conferir as seções de visão geral, conceitos-chave, quando aplicar e referência rápida, para entender as restrições operacionais antes de editar flags de build.

Transforme um objetivo vago em um prompt útil

Para obter os melhores resultados, diga à skill o que você quer provar, qual compilador e harness de teste você usa e como é o sucesso. Exemplo: “Quero encontrar heap-use-after-free em um serviço C++ no Linux compilado com Clang; me dê as flags de build do ASan, as opções de runtime e o caminho de triagem mais curto para um crash vindo de uma execução de fuzzing.” Esse enquadramento gera uma saída de address-sanitizer guide melhor do que pedir uma explicação genérica.

Perguntas frequentes sobre a skill address-sanitizer

O address-sanitizer serve só para fuzzing?

Não. Fuzzing é um caso de uso comum, mas a skill address-sanitizer também se aplica a testes unitários, testes de regressão e depuração de crashes quando você suspeita de corrupção de memória. Se o bug já é reproduzível, o ASan ainda pode ser o caminho mais rápido para um stack trace mais claro.

Quando não devo usar?

Não recorra ao ASan quando você precisa de desempenho próximo ao de produção, quando a plataforma alvo ou a toolchain não o suportam bem, ou quando o bug provavelmente não tem relação com segurança de memória. Se o problema for apenas de lógica, de protocolo ou de performance, o ASan normalmente adiciona ruído em vez de sinal.

É melhor do que um prompt comum?

Sim, quando a tarefa é detecção e triagem de erros de memória. Um prompt comum pode explicar o ASan de forma conceitual, mas a skill address-sanitizer é mais útil quando você precisa de um guia instalável, orientado a fluxo de trabalho, que ajude a escolher flags, entradas e passos de debug com menos tentativa e erro.

Iniciantes conseguem usar?

Sim, desde que consigam descrever a configuração de build e de teste. O principal requisito não é ter conhecimento profundo de sanitizers; é ter contexto suficiente do projeto para informar linguagem, compilador, plataforma e caminho de reprodução, para que a skill recomende o fluxo de ASan correto.

Como melhorar a skill address-sanitizer

Informe os detalhes de build e runtime

Os melhores resultados com address-sanitizer vêm de detalhes exatos de compilador, plataforma e comando de teste. Inclua se você usa Clang ou GCC, quais flags de sanitizer já estão ativadas e se a falha aparece em um fuzz target, binário de teste ou repro isolado.

Especifique o padrão de memória que você suspeita

A saída do ASan fica muito mais acionável quando você descreve o sintoma: leitura fora dos limites, heap-use-after-free, estouro de stack, double free ou vazamento. Se você disser apenas “está crashando”, a skill precisa inferir demais e pode sugerir o build ou o caminho de triagem errados.

Peça o próximo passo de depuração

Depois da primeira resposta, itere pedindo o menor follow-up possível: “mostre como reduzir esse repro”, “me ajude a interpretar este stack trace” ou “quais flags de ASan devo adicionar para symbolization e relatórios melhores?” Isso mantém a address-sanitizer skill focada na decisão que importa em seguida, em vez de teoria ampla sobre sanitizers.

Fique atento aos modos de falha comuns

Os erros mais comuns são compilar sem instrumentação completa, misturar objetos sanitizados e não sanitizados e tratar o ASan como prova de explorabilidade em vez de um sinal de depuração. Se você quer address-sanitizer for Security Audit, forneça o modelo de ameaça e a localização do código para que a saída diferencie corrupção de memória confirmada de risco apenas teórico.