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

Module Make::Concretizer

Implements an algorithm for computing all possible strings from following a tree of nodes (as described in CharTree).

The string is build using one big concat, where all the chars are computed first. See concretize.

Import path

import codeql.regex.nfa.NfaUtils

Predicates

concretize

Gets a string corresponding to node.

Parameters