Member predicate StdlibPrivate::ListSummary::propagatesFlow
Holds if data may flow from input
to output
through this callable.
preservesValue
indicates whether this is a value-preserving step or a taint-step.
predicate propagatesFlow(string input, string output, boolean preservesValue)