Fix six MongoDB query-semantics defects in the heuristics calculator - #1739

Closed

LautaroPetaccio wants to merge 7 commits into

WebFuzzing:masterfrom

LautaroPetaccio:fix/mongo-query-semantics

Commits on Sep 6, 2026

Fix $all heuristic to quantify over the expected values
LautaroPetaccio
committed
a24881a
Fix $ne between incomparable BSON types
LautaroPetaccio
committed
d438457
Fix $nin to consider the elements of an array-valued field
LautaroPetaccio
committed
27195bc
Fix $not on a missing field overriding the inner operator
LautaroPetaccio
committed
cc88c10
Add E2E coverage for the $ne, $nin and $not operator shapes that were fixed
LautaroPetaccio
committed
401d0e3
Match a field against a value the way MongoDB does
LautaroPetaccio
committed
5ee8c1b
Apply the value matching rule to $eq and $ne as well
LautaroPetaccio
committed
20de6fa