From 05a7cfd264b48fd9c8708484ad45fa6884464888 Mon Sep 17 00:00:00 2001 From: Mathias Vorreiter Pedersen Date: Fri, 20 Jun 2025 14:54:15 +0100 Subject: [PATCH] PS: Don't implicitly read any element. Instead, only read positional contents. --- .../code/powershell/dataflow/internal/TaintTrackingPrivate.qll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/powershell/ql/lib/semmle/code/powershell/dataflow/internal/TaintTrackingPrivate.qll b/powershell/ql/lib/semmle/code/powershell/dataflow/internal/TaintTrackingPrivate.qll index 69590519243..2a61ba2cf21 100644 --- a/powershell/ql/lib/semmle/code/powershell/dataflow/internal/TaintTrackingPrivate.qll +++ b/powershell/ql/lib/semmle/code/powershell/dataflow/internal/TaintTrackingPrivate.qll @@ -18,7 +18,7 @@ predicate defaultTaintSanitizer(DataFlow::Node node) { none() } bindingset[node] predicate defaultImplicitTaintRead(DataFlow::Node node, DataFlow::ContentSet c) { node instanceof ArgumentNode and - c.isAnyElement() + c.isAnyPositional() } cached