import python

import semmle.python.dataflow.new.DataFlow

import semmle.python.dataflow.new.TaintTracking

import semmle.python.Concepts

import semmle.python.dataflow.new.RemoteFlowSources

import semmle.python.dataflow.new.BarrierGuards

import semmle.python.ApiGraphs

import ghsl.LocalSources

import geekmasher.Utils

module RemoteFlowsConfig implements DataFlow::ConfigSig {

int explorationLimit() { result = 10 }

module RemoteFlows = DataFlow::Global<RemoteFlowsConfig>;

module RemoteFlowsPartial = RemoteFlows::FlowExplorationFwd<explorationLimit/0>;

import RemoteFlowsPartial::PartialPathGraph

from RemoteFlowsPartial::PartialPathNode source, RemoteFlowsPartial::PartialPathNode sink

where RemoteFlowsPartial::partialFlow(source, sink, _)

select sink.getNode(), source, sink, "Partial Graph $@.", source.getNode(), "user-provided value"