From 578a31ecd8a67bf7e5c0d3a2c26cf21e9d835041 Mon Sep 17 00:00:00 2001 From: Owen Mansel-Chan Date: Thu, 6 May 2021 14:54:59 +0100 Subject: [PATCH] Keep call to defaultTaintSanitizerGuard --- .../go/dataflow/internal/tainttracking1/TaintTrackingImpl.qll | 2 +- .../go/dataflow/internal/tainttracking2/TaintTrackingImpl.qll | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/ql/lib/semmle/go/dataflow/internal/tainttracking1/TaintTrackingImpl.qll b/ql/lib/semmle/go/dataflow/internal/tainttracking1/TaintTrackingImpl.qll index acb029c23d9..7f7d5bbb883 100644 --- a/ql/lib/semmle/go/dataflow/internal/tainttracking1/TaintTrackingImpl.qll +++ b/ql/lib/semmle/go/dataflow/internal/tainttracking1/TaintTrackingImpl.qll @@ -93,7 +93,7 @@ abstract class Configuration extends DataFlow::Configuration { predicate isSanitizerGuard(DataFlow::BarrierGuard guard) { none() } final override predicate isBarrierGuard(DataFlow::BarrierGuard guard) { - this.isSanitizerGuard(guard) + this.isSanitizerGuard(guard) or defaultTaintSanitizerGuard(guard) } /** diff --git a/ql/lib/semmle/go/dataflow/internal/tainttracking2/TaintTrackingImpl.qll b/ql/lib/semmle/go/dataflow/internal/tainttracking2/TaintTrackingImpl.qll index acb029c23d9..7f7d5bbb883 100644 --- a/ql/lib/semmle/go/dataflow/internal/tainttracking2/TaintTrackingImpl.qll +++ b/ql/lib/semmle/go/dataflow/internal/tainttracking2/TaintTrackingImpl.qll @@ -93,7 +93,7 @@ abstract class Configuration extends DataFlow::Configuration { predicate isSanitizerGuard(DataFlow::BarrierGuard guard) { none() } final override predicate isBarrierGuard(DataFlow::BarrierGuard guard) { - this.isSanitizerGuard(guard) + this.isSanitizerGuard(guard) or defaultTaintSanitizerGuard(guard) } /**