CodeQL library for Java/Kotlin
codeql/java-all 4.2.2-dev (changelog, source)
Search

Predicate Make::PrefixConstruction::prefix

Gets a string for which the regular expression will reach state.

Has at most one result for any given state. This predicate will not always have a result even if there is a ReDoS issue in the regular expression.

Import path

import codeql.regex.nfa.NfaUtils
string prefix(State state)