Predicate Make :: tupleDeltaBackwards
Holds if there exists a transition from src
to dst
in the product automaton.
Where src
and dst
are both on a path from a start state to an end state.
Notice that the arguments are flipped, and thus the direction is backwards.
Import path
import codeql.regex.nfa.SuperlinearBackTracking
predicate
tupleDeltaBackwards
(
StateTuple
dst
,
StateTuple
src
)