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)