CodeQL library for Java
codeql/java-all 0.6.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 )