From c0730fe4cc26618e0b074108db571dd31092cf95 Mon Sep 17 00:00:00 2001 From: Sauyon Lee Date: Thu, 21 Nov 2019 22:58:25 -0800 Subject: [PATCH] Make taintStep public --- ql/src/semmle/go/dataflow/TaintTracking.qll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ql/src/semmle/go/dataflow/TaintTracking.qll b/ql/src/semmle/go/dataflow/TaintTracking.qll index b23baaa7e66..c725c655369 100644 --- a/ql/src/semmle/go/dataflow/TaintTracking.qll +++ b/ql/src/semmle/go/dataflow/TaintTracking.qll @@ -132,7 +132,7 @@ module TaintTracking { /** * Holds if taint flows from `pred` to `succ` in one step. */ - private predicate taintStep(DataFlow::Node pred, DataFlow::Node succ) { + predicate taintStep(DataFlow::Node pred, DataFlow::Node succ) { referenceStep(pred, succ) or fieldReadStep(pred, succ) or arrayStep(pred, succ) or