From 3eee780fddfb992af97f38d4e0fadd54514a8e43 Mon Sep 17 00:00:00 2001 From: Sauyon Lee Date: Tue, 28 Jan 2020 07:12:42 -0800 Subject: [PATCH] TaintTracking: minor functionNodeStep call improvement Co-Authored-By: Max Schaefer --- ql/src/semmle/go/dataflow/internal/TaintTrackingUtil.qll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) }