Prove a document cannot match a regex before an engine reads it. Register-sized SP-quotients of the pattern's automaton, sound one way by construction - a sieve may pass a non-match, never reject a match.
rust bitset automata pattern-matching regex static-analysis simd grep nfa filtering dfa no-std string-matching prefilter text-search rust-crate search-optimization soundness literal-search quotient-automaton
-
Updated
Sep 14, 2026 - Rust