From dd079d4e5119df0a85c64d9644246cbca1d65bb8 Mon Sep 17 00:00:00 2001 From: Owen Mansel-Chan Date: Tue, 2 Feb 2021 11:04:16 +0000 Subject: [PATCH] (clean-up) Make use of `this` explicit --- ql/src/semmle/go/dataflow/internal/DataFlowUtil.qll | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ql/src/semmle/go/dataflow/internal/DataFlowUtil.qll b/ql/src/semmle/go/dataflow/internal/DataFlowUtil.qll index b06d73ce694..f9dc9195759 100644 --- a/ql/src/semmle/go/dataflow/internal/DataFlowUtil.qll +++ b/ql/src/semmle/go/dataflow/internal/DataFlowUtil.qll @@ -1187,7 +1187,7 @@ abstract class BarrierGuard extends Node { ( // Case: a function like "if someBarrierGuard(arg) { return true } else { return false }" exists(ControlFlow::ConditionGuardNode guard | - guards(guard, arg) and + this.guards(guard, arg) and guard.dominates(ret.getBasicBlock()) | exists(boolean b | @@ -1221,7 +1221,7 @@ abstract class BarrierGuard extends Node { DataFlow::Property outpProp | not exists(DataFlow::Node otherRet | otherRet = outp.getEntryNode(fd) | otherRet != ret) and - guardingFunction(f2, inp2, outp2, outpProp) and + this.guardingFunction(f2, inp2, outp2, outpProp) and c = f2.getACall() and arg = inp2.getNode(c) and (