Predicate deltaClosed
Holds if there is a state q
that can be reached from q1
along epsilon edges, such that there is a transition from
q
to q2
that consumes symbol s
.
Import path
import semmle.javascript.security.performance.ReDoSUtil
predicate deltaClosed(State q1, InputSymbol s, State q2)