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