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

Predicate Make::matchesEpsilon

Holds if t matches at least an epsilon symbol.

That is, this term does not restrict the language of the enclosing regular expression.

This is implemented as an under-approximation, and this predicate does not hold for sub-patterns in particular.

Import path

import codeql.regex.nfa.NfaUtils
predicate matchesEpsilon(RegExpTerm t)