CodeQL library for JavaScript
Search

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)