From 941aa7ae280043934e05cbba8f76abe8fd467640 Mon Sep 17 00:00:00 2001 From: Anders Schack-Mulligen Date: Thu, 13 Jul 2023 13:56:21 +0200 Subject: [PATCH] C/C++: Don't force-include default steps in DefaultTaintTrackingImpl. --- .../code/cpp/ir/dataflow/internal/DefaultTaintTrackingImpl.qll | 2 ++ 1 file changed, 2 insertions(+) diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DefaultTaintTrackingImpl.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DefaultTaintTrackingImpl.qll index 960b373b4fa..ee70380224c 100644 --- a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DefaultTaintTrackingImpl.qll +++ b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DefaultTaintTrackingImpl.qll @@ -448,6 +448,8 @@ module TaintedWithPath { } predicate isBarrierIn(DataFlow::Node node) { nodeIsBarrierIn(node) } + + predicate neverSkip(Node node) { none() } } private module AdjustedFlow = TaintTracking::Global;