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

Module Make::PrefixConstruction

Predicates for constructing a prefix string that leads to a given state.

Import path

import codeql.regex.nfa.NfaUtils

Predicates

prefix

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

prefixLength

Gets the minimum number of transitions it takes to reach state from the start state.

Classes

RelevantState

A state within a regular expression that contains a candidate state.

Parameters

isCandidateisCandidateSig