PS: Fix cartesian product.

MathiasVP · MathiasVP · commit a38d57f0805e · 2025-06-19T22:11:20.000+01:00
diff --git a/powershell/ql/lib/semmle/code/powershell/ast/internal/Synthesis.qll b/powershell/ql/lib/semmle/code/powershell/ast/internal/Synthesis.qll
@@ -897,6 +897,7 @@ private module PipelineAccess {
         exists(PipelineByPropertyNameParameter pipelineVar, Raw::PipelineByPropertyNameParameter p |
           i = processBlockPipelineByPropertyNameVarReadAccess(p.getLowerCaseName()) and
           getResultAst(p) = pipelineVar and
+          pipelineVar = TVariableSynth(pb.getScriptBlock(), _) and
           child = SynthChild(VarAccessSynthKind(pipelineVar))
         )
       )

Original file line number	Diff line number	Diff line change
`@@ -897,6 +897,7 @@ private module PipelineAccess {`
`897`	`897`	`exists(PipelineByPropertyNameParameter pipelineVar, Raw::PipelineByPropertyNameParameter p \|`
`898`	`898`	`i = processBlockPipelineByPropertyNameVarReadAccess(p.getLowerCaseName()) and`
`899`	`899`	`getResultAst(p) = pipelineVar and`
	`900`	`+ pipelineVar = TVariableSynth(pb.getScriptBlock(), _) and`
`900`	`901`	`child = SynthChild(VarAccessSynthKind(pipelineVar))`
`901`	`902`	`)`
`902`	`903`	`)`