Member predicate FunctionModel::hasDataFlow
Holds if data flows through this function from input
to output
.
predicate hasDataFlow(FunctionInput input, FunctionOutput output)
Holds if data flows through this function from input
to output
.
predicate hasDataFlow(FunctionInput input, FunctionOutput output)