Predicate after
Gets a state the NFA may be in after matching t.
Import path
import semmle.code.java.security.performance.ReDoSUtilState after(RegExpTerm t)Gets a state the NFA may be in after matching t.
import semmle.code.java.security.performance.ReDoSUtilState after(RegExpTerm t)