C/C++: Don't force-include default steps in DefaultTaintTrackingImpl.

2025-12-22 19:56:32 +01:00 · 2023-07-13 13:56:21 +02:00
parent 95d17045c9
commit 941aa7ae28
1 changed files with 2 additions and 0 deletions
--- 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<AdjustedConfig>;