import csharp
import semmle.code.csharp.dataflow.TaintTracking

from DataFlow::Node pred, DataFlow::Node succ
where TaintTracking::localTaintStep(pred, succ)
select pred, succ