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.NfaUtilsPredicates
| concretize | Gets a string corresponding to |
Parameters
| Impl | CharTree |