import go
import utils.test.InlineExpectationsTest
import experimental.frameworks.Fiber

module RemoteFlowSourceTest implements TestSig {
  string getARelevantTag() { result = "remoteFlowSource" }

  predicate hasActualResult(Location location, string element, string tag, string value) {
    tag = "remoteFlowSource" and
    exists(DataFlow::CallNode sinkCall, DataFlow::ArgumentNode arg |
      sinkCall.getCalleeName() = "sink" and
      arg = sinkCall.getAnArgument() and
      arg.getAPredecessor*() instanceof RemoteFlowSource
    |
      element = arg.toString() and
      value = "" and
      arg.getLocation() = location
    )
  }
}

import MakeTest<RemoteFlowSourceTest>