GrepRules
Sign inPublish rule
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
4797
Downloads
7.4M
Verified
4797
Authors
2
Search the rule indexUse CVE, GHSA, CWE, language, framework, package, or rule slug.
1 rules matched. Showing 1 loaded rules.
Publish rule
CVE-2026-72711: Lean Kernel Missing Fvar Check Opaquecve-2026-72711-lean-kernel-missing-fvar-check-opaque

Missing `check_no_metavar_no_fvar` check on declaration value before type checking. Opaque or definition declarations containing unvalidated free variables or metavariables can bypass kernel soundness checks via type checker cache lookup.

C++CVE-2026-72711CWE-20CWE-754
by Provallyupdated 2026-09-02Apache-2.0
2750 direct275 via packs
73
All matching rules loaded.