Member predicate RemoteFlowSourceFunction::hasRemoteFlowSource
Holds if remote data described by description
flows from output
of a call to this function.
predicate hasRemoteFlowSource(FunctionOutput output, string description)
Holds if remote data described by description
flows from output
of a call to this function.
predicate hasRemoteFlowSource(FunctionOutput output, string description)