Member predicate FunctionModel::hasTaintFlow
Holds if taint propagates through this function from input to output.
predicate hasTaintFlow(FunctionInput input, FunctionOutput output)Holds if taint propagates through this function from input to output.
predicate hasTaintFlow(FunctionInput input, FunctionOutput output)