We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent b39f383 commit 2fd950cCopy full SHA for 2fd950c
cpp/ql/lib/semmle/code/cpp/ir/dataflow/DefaultTaintTracking.qll
@@ -241,8 +241,8 @@ private module Cached {
241
// For compatibility, send flow from arguments to parameters, even for
242
// functions with no body.
243
exists(FunctionCall call, int i |
244
- sink.asExpr() = call.getArgument(i) and
245
- result = resolveCall(call).getParameter(i)
+ sink.asExpr() = call.getArgument(pragma[only_bind_into](i)) and
+ result = resolveCall(call).getParameter(pragma[only_bind_into](i))
246
)
247
or
248
// For compatibility, send flow into a `Variable` if there is flow to any
0 commit comments