Module Cached

Import path

import semmle.code.csharp.dataflow.internal.TaintTrackingPrivate

defaultAdditionalTaintStep	Holds if the additional step from `nodeFrom` to `nodeTo` should be included in all global taint flow configurations.
forceCachingInSameStage
localTaintStepImpl	Holds if taint propagates from `nodeFrom` to `nodeTo` in exactly one local (intra-procedural) step.