CodeQL library for Python
codeql/python-all 0.9.2 ( changelog , source )

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 )