semgrep-rules

„Die Angriffsfläche ist die Schwachstelle. Einen Bug dort zu finden, ist nur ein Detail.“

– Mark Dowd

„Manche Details sind wichtiger als andere.“

– Fedor G. Pikus

Eine Sammlung meiner Semgrep-Regeln, um Schwachstellenforschung zu erleichtern.

Blogbeiträge

• 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/

Siehe auch

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

Einrichtungs- und Verwendungshinweise

1. Installieren Sie Semgrep.
2. Um diese Regeln über die Semgrep-Registry zu verwenden, führen Sie Folgendes aus dem Stammverzeichnis Ihres Zielquellcode-Repositorys aus:

# Hochprioritäts-Scan (schnelle Erfolge)
semgrep --severity ERROR --config "p/0xdea"

# Hoch- und mittelprioritäts-Scan (empfohlen)
semgrep --severity ERROR --severity WARNING --config "p/0xdea"

# Vollständiger Scan (kann Randbefunde und mehr Fehlalarme enthalten)
semgrep --config "p/0xdea"

Alternativ können Sie dieses GitHub-Repository lokal klonen und ausführen:

# Vollständiger Scan
semgrep --config semgrep-rules/rules /path/to/source

# Scan einer bestimmten Regel
semgrep --config semgrep-rules/rules/c/command-injection.yaml /path/to/source

[!TIP] Geben Sie den Schalter --no-git-ignore an, um Dateien unabhängig vom Git-Tracking-Status oder .gitignore-Regeln zu scannen.

Für eine bessere und optimierte Erfahrung empfehle ich, die Semgrep-Scanausgabe im SARIF-Format zu speichern und SARIF Explorer in VS Code zu verwenden:

semgrep --sarif --sarif-output=/path/to/source/SEMGREP.sarif --config semgrep-rules/rules /path/to/source
code /path/to/source # dann die SEMGREP.sarif-Datei in VS Code mit SARIF Explorer öffnen

Siehe auch das beigefügte SARIF-Ausgabe-Beispiel.

Kompatibilität

Getestet mit Semgrep CLI 1.169.0.

Regeln

C/C++

Kampferprobtes C- (und manchmal C++) Regelset.

Pufferüberläufe

• insecure-api-gets. Verwendung der unsicheren API-Funktion gets.
• insecure-api-strcpy-strcat. Verwendung potenziell unsicherer API-Funktionen strcpy, stpcpy, strcat.
• insecure-api-sprintf-vsprintf. Verwendung potenziell unsicherer API-Funktionen sprintf und vsprintf.
• insecure-api-scanf. Verwendung potenziell unsicherer API-Funktionen der scanf-Familie.
• incorrect-use-of-strncat. Falsches Größenargument an strncat übergeben.
• use-of-source-size-in-copy. Falsches Größenargument an strncpy, memcpy, snprintf und Varianten übergeben.
• incorrect-use-of-sizeof. Versehentliche Verwendung des sizeof-Operators auf einen Zeiger statt auf sein Ziel.
• unterminated-string-strncpy. Fehlende explizite Nullterminierung nach strncpy und stpncpy.
• off-by-one. Potenzieller Off-by-One-Fehler.
• unsafe-ret-snprintf-vsnprintf. Potenziell unsichere Verwendung des Rückgabewerts von snprintf und vsnprintf.
• unsafe-ret-strlcpy-strlcat. Potenziell unsichere Verwendung des Rückgabewerts von strlcpy und strlcat.
• pointer-subtraction. Potenzielle Verwendung von Zeigersubtraktion zur Größenbestimmung.
• write-into-stack-buffer. Direktes Schreiben in einen auf dem Stack allozierten Puffer.

Integer-Überläufe

• integer-wraparound. Potenzielle Integer-Überlauffehler.
• unsafe-strlen. Das Casten des Rückgabewerts von strlen auf short kann gefährlich sein.
• integer-truncation. Potenzielle Integer-Abschneidefehler.
• signed-unsigned-conversion. Potenzielle Fehler bei der Konvertierung von signed/unsigned.
• incorrect-unsigned-comparison. Überprüfung, ob eine unsigned-Variable negativ ist.

Formatstrings

• format-string-bugs. Potenzielle Formatstring-Fehler.

Speicherverwaltung