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

aschackmull · aschackmull · commit 941aa7ae2800 · 2023-07-19T11:41:15.000+02:00
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
@@ -448,6 +448,8 @@ module TaintedWithPath {
     }
 
     predicate isBarrierIn(DataFlow::Node node) { nodeIsBarrierIn(node) }
+
+    predicate neverSkip(Node node) { none() }
   }
 
   private module AdjustedFlow = TaintTracking::Global<AdjustedConfig>;

Original file line number	Diff line number	Diff line change
`@@ -448,6 +448,8 @@ module TaintedWithPath {`
`448`	`448`	`}`
`449`	`449`
`450`	`450`	`predicate isBarrierIn(DataFlow::Node node) { nodeIsBarrierIn(node) }`
	`451`	`+`
	`452`	`+ predicate neverSkip(Node node) { none() }`
`451`	`453`	`}`
`452`	`454`
`453`	`455`	`private module AdjustedFlow = TaintTracking::Global<AdjustedConfig>;`