O que vector-forge faz?
Geração de vetores de teste orientada por mutação. Encontra implementações de um algoritmo ou protocolo criptográfico, executa teste de mutação para identificar mutantes escapados, então gera novos vetores de teste que exercitam deliberadamente os caminhos de código descobertos. Compara as taxas de eliminação de mutantes antes/depois para comprovar a eficácia dos vetores. Use ao gerar vetores de teste criptográficos, medir lacunas de cobertura do Wycheproof, encontrar mutantes escapados via teste de mutação, criar suítes de teste entre implementações ou melhorar a cobertura de vetores de teste para primitivas criptográficas.
Funcionalidades
- Localiza automaticamente implementações de algoritmos criptográficos
- Executa teste de mutação para descobrir mutantes sobreviventes
- Gera novos vetores de teste para exercitar caminhos de código descobertos
- Calcula e compara taxas de eliminação de mutantes
- Integra-se com as suítes de teste Wycheproof
Uso
Ative esta skill descrevendo sua tarefa de geração de vetores de teste criptográficos. Por exemplo:
Use vector-forge para gerar vetores de teste adicionais para minha implementação AES-GCM e me mostre a melhoria na taxa de eliminação de mutantes.
A skill irá:
- Analisar sua base de código em busca de implementações criptográficas
- Executar teste de mutação na linha de base existente
- Identificar mutantes escapados (caminhos de código não cobertos)
- Gerar novos vetores de teste direcionados
- Reexecutar teste de mutação com os novos vetores
- Relatar a melhoria na taxa de eliminação de mutantes
Compatibilidade
- Plataformas: Claude Code, Cursor, Codex, e outros agentes de IA compatíveis
- Linguagens: Suporta C, C++, Rust, Go, Python e Java
- Estruturas de teste: Funciona com Google Test, Wycheproof, PyCryptodome e estruturas de teste personalizadas
Exemplo de saída
Taxa de eliminação de mutantes na linha de base: 72,4%
Mutantes escapados encontrados: 12
Novos vetores de teste gerados: 8
Nova taxa de eliminação de mutantes: 96,7%
Melhoria: +24,3%
Cobertura Wycheproof aumentada em 3 casos de borda
Notas
- Certifique-se de que seu ambiente tenha as dependências necessárias para teste de mutação (por exemplo, Mull para C/C++, mutmut para Python, go-mutesting para Go).
- A skill irá gerar vetores de teste no formato apropriado para sua base de código e estrutura de teste.
- Para melhores resultados, use com um conjunto de testes existente que tenha alguma cobertura da implementação alvo.