semgrep-rules

"A superfície de ataque é a vulnerabilidade. Encontrar um bug lá é apenas um detalhe."

-- Mark Dowd

"Alguns detalhes são mais importantes do que outros."

-- Fedor G. Pikus

Uma coleção das minhas regras Semgrep para facilitar a pesquisa de vulnerabilidades.

Postagens no blog

• https://hnsecurity.it/blog/semgrep-ruleset-for-c-c-vulnerability-research
• https://hnsecurity.it/blog/automating-binary-vulnerability-discovery-with-ghidra-and-semgrep
• https://hnsecurity.it/blog/big-update-to-my-semgrep-c-cpp-ruleset
• https://hnsecurity.it/blog/streamlining-vulnerability-research-with-the-idalib-rust-bindings-for-ida-9-2/
• https://hnsecurity.it/blog/my-semgrep-c-cpp-ruleset-is-ready-for-prime-time-again/

Veja também

• https://appsec.guide/docs/static-analysis/semgrep/
• https://semgrep.dev/docs/writing-rules/overview
• https://semgrep.dev/r

Instruções de configuração e uso

1. Instale o Semgrep.
2. Para usar essas regras por meio do registro do Semgrep, execute o seguinte a partir da pasta raiz do repositório de código-fonte de destino:

# high priority scan (quick wins)
semgrep --severity ERROR --config "p/0xdea"

# high and medium priority scan (recommended)
semgrep --severity ERROR --severity WARNING --config "p/0xdea"

# full scan (might include marginal findings and more false positives)
semgrep --config "p/0xdea"

Alternativamente, você pode clonar este repositório GitHub localmente e executar:

# full scan
semgrep --config semgrep-rules/rules /path/to/source

# specific rule scan
semgrep --config semgrep-rules/rules/c/command-injection.yaml /path/to/source

[!TIP] Especifique a opção --no-git-ignore para examinar arquivos independentemente do status de rastreamento git ou das regras de .gitignore.

Para uma experiência mais simplificada, recomendo salvar a saída da verificação do Semgrep no formato SARIF e usar o SARIF Explorer no VS code:

semgrep --sarif --sarif-output=/path/to/source/SEMGREP.sarif --config semgrep-rules/rules /path/to/source
code /path/to/source # then open the SEMGREP.sarif file in VS code with SARIF Explorer 

Veja também o exemplo de saída SARIF incluído.

Compatibilidade

Testado com Semgrep CLI 1.169.0.

Regras

C/C++

Conjunto de regras C (e às vezes C++) testado em batalha.

estouros de buffer

• insecure-api-gets. Uso da função de API insegura gets.
• insecure-api-strcpy-strcat. Uso de funções de API potencialmente inseguras strcpy, stpcpy, strcat.
• insecure-api-sprintf-vsprintf. Uso de funções de API potencialmente inseguras sprintf e vsprintf.
• insecure-api-scanf. Uso de funções de API potencialmente inseguras na família scanf.
• incorrect-use-of-strncat. Argumento de tamanho incorreto passado para strncat.
• use-of-source-size-in-copy. Argumento de tamanho incorreto passado para strncpy, memcpy, snprintf e variantes.
• incorrect-use-of-sizeof. Uso acidental do operador sizeof em um ponteiro em vez de seu alvo.
• unterminated-string-strncpy. Falta de terminação explícita em NUL após strncpy e stpncpy.
• off-by-one. Potencial erro de off-by-one.
• unsafe-ret-snprintf-vsnprintf. Uso potencialmente inseguro do valor de retorno de snprintf e vsnprintf.
• unsafe-ret-strlcpy-strlcat. Uso potencialmente inseguro do valor de retorno de strlcpy e strlcat.
• pointer-subtraction. Uso potencial de subtração de ponteiros para determinar o tamanho.
• write-into-stack-buffer. Escrita direta em buffer alocado na pilha.

estouros de inteiros

• integer-wraparound. Potenciais erros de wraparound de inteiros.
• unsafe-strlen. Converter o valor de retorno de strlen para short pode ser perigoso.
• integer-truncation. Potenciais erros de truncamento de inteiros.
• signed-unsigned-conversion. Potenciais erros de conversão entre com sinal e sem sinal.
• incorrect-unsigned-comparison. Verificar se uma variável sem sinal é negativa.

strings de formato

• format-string-bugs. Potenciais bugs de string de formato.

gerenciamento de memória