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)