From 2d045ea3453815de6c3e2eccb409dc81ade44c70 Mon Sep 17 00:00:00 2001 From: Mathias Vorreiter Pedersen Date: Thu, 19 Jun 2025 21:42:33 +0100 Subject: [PATCH] PS: Prevent join on integer. --- .../ql/lib/semmle/code/powershell/ast/internal/Variable.qll | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/powershell/ql/lib/semmle/code/powershell/ast/internal/Variable.qll b/powershell/ql/lib/semmle/code/powershell/ast/internal/Variable.qll index 89fc6d2bba1..b9791ab06bd 100644 --- a/powershell/ql/lib/semmle/code/powershell/ast/internal/Variable.qll +++ b/powershell/ql/lib/semmle/code/powershell/ast/internal/Variable.qll @@ -59,8 +59,9 @@ module Private { PipelineParameterImpl() { exists(int index | - i = FunParam(index) and - any(Synthesis s).pipelineParameterHasIndex(super.getDeclaringScopeImpl(), index) + i = FunParam(pragma[only_bind_into](index)) and + any(Synthesis s) + .pipelineParameterHasIndex(super.getDeclaringScopeImpl(), pragma[only_bind_into](index)) ) }