diff --git a/ql/src/semmle/go/dataflow/internal/TaintTrackingUtil.qll b/ql/src/semmle/go/dataflow/internal/TaintTrackingUtil.qll index 932962cfd44..264698443bd 100644 --- a/ql/src/semmle/go/dataflow/internal/TaintTrackingUtil.qll +++ b/ql/src/semmle/go/dataflow/internal/TaintTrackingUtil.qll @@ -53,7 +53,7 @@ predicate localAdditionalTaintStep(DataFlow::Node pred, DataFlow::Node succ) { tupleStep(pred, succ) or stringConcatStep(pred, succ) or sliceStep(pred, succ) or - functionModelStep(any(FunctionModel fn), pred, succ) or + functionModelStep(_, pred, succ) or any(AdditionalTaintStep a).step(pred, succ) }