Module TaintTracking
Import path
import semmle.code.csharp.dataflow.TaintTrackingImports
| TaintFlowMake<Location::Location, DataFlowImplSpecific::CsharpDataFlow, TaintTrackingImplSpecific::CsharpTaintTracking> | Construct the modules for taint-tracking analyses. |
| TaintTrackingPublic |