Member predicate RemoteFlowSinkFunction::hasRemoteFlowSink
Holds if data described by description
flows into input
to a call to this function, and is then
send over a network connection.
predicate hasRemoteFlowSink(FunctionInput input, string description)