From 2fd950caadb2d066dc24bd99200a153b09ed0dbd Mon Sep 17 00:00:00 2001 From: Jeroen Ketema Date: Wed, 2 Mar 2022 10:10:55 +0100 Subject: [PATCH] C++: Fix join order in the IR dataflow library Not having this fixed caused problems when updating the database scheme stats file. --- .../lib/semmle/code/cpp/ir/dataflow/DefaultTaintTracking.qll | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/DefaultTaintTracking.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/DefaultTaintTracking.qll index 6b6b2e02c801..c6942b7adfef 100644 --- a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/DefaultTaintTracking.qll +++ b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/DefaultTaintTracking.qll @@ -241,8 +241,8 @@ private module Cached { // For compatibility, send flow from arguments to parameters, even for // functions with no body. exists(FunctionCall call, int i | - sink.asExpr() = call.getArgument(i) and - result = resolveCall(call).getParameter(i) + sink.asExpr() = call.getArgument(pragma[only_bind_into](i)) and + result = resolveCall(call).getParameter(pragma[only_bind_into](i)) ) or // For compatibility, send flow into a `Variable` if there is flow to any