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

Module Make::ReDoSPruning

A module for pruning candidate ReDoS states. The candidates are specified by the isCandidate signature predicate. The candidates are checked for rejecting suffixes and deduplicated, and the resulting ReDoS states are read by the hasReDoSResult predicate.

Import path

import codeql.regex.nfa.NfaUtils

Predicates

hasReDoSResult

Holds if the state s (represented by the term t) can have backtracking with repetitions of pump.

Aliases

Prefix

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

RelevantState

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

Parameters

isCandidateisCandidateSig