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
12.3M
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-73289: Rust Policy Outer Negation Quantifiercve-2026-73289-rust-policy-outer-negation-quantifier

Applying outer logical XOR negation (`^ negate`) to the aggregated output of set policy condition evaluations (`eval`/`eval_like`) with `for_all` boolean flags causes logic inversion under `ForAllValues:` and `ForAnyValue:` qualifiers. Negation should be pushed down into per-element predicate evaluations or handled with quantifier context.

by Provallyupdated 2026-09-02Apache-2.0
1.3K0 direct1.3K via packs
downloads
77quality
All matching rules loaded.