CVE-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.
Rustgreprules fetch cve-2026-73289-rust-policy-outer-negation-quantifier --engine opengrepDescription
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.
Community feedback
0 rule-level signals from signed-in users.
- Useful reports
- 0
- Context false positives
- 0
- Metadata suggestions
- 0
Contextual precision
Aggregated from approved scan feedback. False-positive reports describe observed scan contexts, not a global rule verdict.
- Findings observed
- 0
- Projects
- 0
- Reporters
- 0
Precision details are collecting more signed-in reports before verdict counts or ratios are emphasized.
No approved finding verdicts yet.
No scan diagnostics reported yet.