Member predicate SummarizedCallable::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.
If model
is non-empty then it indicates the provenance of the model
defining this flow.
predicate propagatesFlow(string input, string output, boolean preservesValue, string model)