Predicate getAnEndTuple
Gets the tuple (pivot, succ, succ) from the product automaton.
Import path
import semmle.javascript.security.performance.SuperlinearBackTrackingStateTuple getAnEndTuple(State pivot, State succ)Gets the tuple (pivot, succ, succ) from the product automaton.
import semmle.javascript.security.performance.SuperlinearBackTrackingStateTuple getAnEndTuple(State pivot, State succ)