Module SpeculativeTaintFlow
Import path
import semmle.go.dataflow.internal.TaintTrackingUtilPredicates
| speculativeTaintStep | Holds if the additional step from |
import semmle.go.dataflow.internal.TaintTrackingUtil| speculativeTaintStep | Holds if the additional step from |