Criador de Variantes de Regras Semgrep

Porte regras Semgrep existentes para novas linguagens de destino com análise de aplicabilidade adequada e validação orientada por testes.

Quando Usar

Cenários ideais:

• Portar uma regra Semgrep existente para uma ou mais linguagens de destino
• Criar variantes específicas de linguagem de um padrão de vulnerabilidade universal
• Expandir a cobertura de regras em uma base de código poliglota
• Traduzir regras entre linguagens com construtos equivalentes

Quando NÃO Usar

NÃO use esta habilidade para:

• Criar uma nova regra Semgrep do zero (use semgrep-rule-creator em vez disso)
• Executar regras existentes em código
• Linguagens onde o padrão de vulnerabilidade fundamentalmente não se aplica
• Variações sintáticas menores dentro da mesma linguagem

Especificação de Entrada

Esta habilidade requer:

1. Regra Semgrep existente - Caminho do arquivo YAML ou conteúdo da regra YAML
2. Linguagens de destino - Uma ou mais linguagens para portar (por exemplo, "Golang e Java")

Especificação de Saída

Para cada linguagem de destino aplicável, produz:

<original-rule-id>-<language>/
├── <original-rule-id>-<language>.yaml     # Ported Semgrep rule
└── <original-rule-id>-<language>.<ext>    # Test file with annotations

Exemplo de saída para portar sql-injection para Go e Java:

sql-injection-golang/
├── sql-injection-golang.yaml
└── sql-injection-golang.go

sql-injection-java/
├── sql-injection-java.yaml
└── sql-injection-java.java

Racionalizações para Rejeitar

Ao portar regras Semgrep, rejeite estes atalhos comuns:

Nível de Rigor

Este fluxo de trabalho é rigoroso - não pule etapas:

• Análise de aplicabilidade é obrigatória: Não presuma que os padrões se traduzem
• Cada linguagem é independente: Conclua o ciclo completo antes de passar para a próxima
• Teste primeiro para cada variante: Nunca escreva uma regra sem casos de teste
• 100% de aprovação nos testes é exigido: "A maioria dos testes passa" não é aceitável

Visão Geral

Esta habilidade orienta a criação de variantes específicas de linguagem de regras Semgrep existentes. Cada linguagem de destino passa por um ciclo independente de 4 fases:

FOR EACH target language:
  Phase 1: Applicability Analysis → Verdict
  Phase 2: Test Creation (Test-First)
  Phase 3: Rule Creation
  Phase 4: Validation
  (Complete full cycle before moving to next language)

Conhecimento Fundamental

A habilidade semgrep-rule-creator é a referência autoritária para os fundamentos da criação de regras Semgrep. Embora esta habilidade se concentre em portar regras existentes para novas linguagens, os princípios centrais de escrita de regras de qualidade permanecem os mesmos.

Consulte semgrep-rule-creator para orientação sobre:

• Quando usar modo de contaminação (taint mode) vs. correspondência de padrões - Escolhendo a abordagem correta para o tipo de vulnerabilidade
• Metodologia de teste primeiro - Por que os testes vêm antes das regras e como escrever casos de teste eficazes
• Antipadrões a evitar - Erros comuns como padrões excessivamente amplos ou excessivamente específicos
• Iterar até que os testes passem - O loop de validação e técnicas de depuração
• Otimização de regras - Removendo padrões redundantes após a aprovação dos testes

Ao portar uma regra, você está aplicando esses mesmos princípios em um novo contexto de linguagem. Se tiver dúvidas sobre a estrutura ou abordagem da regra, consulte semgrep-rule-creator primeiro.

Fluxo de Trabalho de Quatro Fases

Fase 1: Análise de Aplicabilidade

Antes de portar, determine se o padrão se aplica à linguagem de destino.

Critérios de análise:

1. A classe de vulnerabilidade existe na linguagem de destino?
2. Existe um construto equivalente (função, padrão, biblioteca)?
3. As semânticas são suficientemente semelhantes para uma detecção significativa?

Opções de veredito:

• APPLICABLE → Prosseguir com a criação da variante

…