CodeQL library for JavaScript
Search

Predicate isEndTuple

Holds if tuple is an end state in our search. That means there exists a pair of loops (pivot, succ) such that tuple = (pivot, succ, succ).

Import path

import semmle.javascript.security.performance.SuperlinearBackTracking
predicate isEndTuple(StateTuple tuple)