Member predicate Public::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.
Input specifications are restricted to stacks that end with
SummaryComponent::argument(_)
, preceded by zero or more
SummaryComponent::return(_)
or SummaryComponent::content(_)
components.
Output specifications are restricted to stacks that end with
SummaryComponent::return(_)
or SummaryComponent::argument(_)
.
Output stacks ending with SummaryComponent::return(_)
can be preceded by zero
or more SummaryComponent::content(_)
components.
Output stacks ending with SummaryComponent::argument(_)
can be preceded by an
optional SummaryComponent::parameter(_)
component, which in turn can be preceded
by zero or more SummaryComponent::content(_)
components.
predicate propagatesFlow(SummaryComponentStack input, SummaryComponentStack output, boolean preservesValue)