CodeQL library for JavaScript
Search

Predicate step

Holds if there are transitions from the components of q to the corresponding components of r labelled with s1, s2, and s3, respectively.

Import path

import semmle.javascript.security.performance.SuperlinearBackTracking
predicate step(StateTuple q, InputSymbol s1, InputSymbol s2, InputSymbol s3, StateTuple r)