CodeQL library for JavaScript
Search

Predicate tupleDeltaBackwards

Holds if there exists a transition from r to q in the product automaton. Notice that the arguments are flipped, and thus the direction is backwards.

Import path

import semmle.javascript.security.performance.SuperlinearBackTracking
predicate tupleDeltaBackwards(StateTuple q, StateTuple r)