Predicate Make::isReDoSCandidate
Holds if states starting in state can have polynomial backtracking with the string pump.
Import path
import codeql.regex.nfa.SuperlinearBackTrackingpredicate isReDoSCandidate(State state, string pump)Holds if states starting in state can have polynomial backtracking with the string pump.
import codeql.regex.nfa.SuperlinearBackTrackingpredicate isReDoSCandidate(State state, string pump)