Explore

Rule Explorer

Search the public rule index by CVE, GHSA, CWE, language, framework, author, or rule slug. Filter by language, framework, severity, confidence, license, and validation status.

Public rules
2917
Downloads
3.2M
Verified
2917
Authors
2
Search the rule indexUse CVE, GHSA, CWE, language, framework, package, or rule slug.
4 rules matched. Showing 4 loaded rules.
Publish rule
CVE-2026-55405: Fail Open Escaping Fallbackcve-2026-55405-fail-open-escaping-fallback

A fail-open condition was detected where an exception during identifier enquoting, escaping, or validation results in the method returning the raw, unescaped input. This logic bypasses the intended escaping mechanism and leads to secondary Injection vulnerabilities (e.g., SQL Injection) if the attacker provides malicious input designed specifically to trigge

by Provallyupdated 2026-06-23Apache-2.0
7390 direct739 via packs
downloads
72quality
CVE-2026-42576: Unchecked Crypto Key Type Assertioncve-2026-42576-unchecked-crypto-key-type-assertion

Unchecked type assertion to a cryptographic key type (e.g., `*rsa.PublicKey`). If the interface contains a different type (for instance, an ECDSA key returned by an external JWKS endpoint instead of RSA), the assertion will panic and cause a Denial of Service. Use the `value, ok := ...` idiom to safely assert types.

by Provallyupdated 2026-06-12Apache-2.0
1.2K0 direct1.2K via packs
downloads
74quality
CVE-2026-32766: Tar Pax Extension Silent Error Skipcve-2026-32766-tar-pax-extension-silent-error-skip

Silently skipping malformed PAX extensions by using `filter_map(|f| f.ok())` can conceal parsing errors and lead to parser differentials. This behavior can be exploited if a subsequent component interprets the skipped malformed extension differently. Propagate the error using `?` or handle it explicitly instead of suppressing it.

by Provallyupdated 2026-06-23Apache-2.0
7430 direct743 via packs
downloads
65quality
CVE-2025-69227: Aiohttp Assert Data Validationcve-2025-69227-aiohttp-assert-data-validation

Using `assert` for critical data validation or state checks (such as end-of-file boundaries, stream validation, or field presence) is unsafe. When Python is executed with optimizations enabled (`-O` or `PYTHONOPTIMIZE=1`), all `assert` statements are stripped. This allows malformed data to bypass checks entirely, potentially leading to infinite loops or Deni

by Provallyupdated 2026-06-12Apache-2.0
1.2K0 direct1.2K via packs
downloads
73quality
All matching rules loaded.