PS: Improve toString on phi nodes.

MathiasVP · MathiasVP · commit 86ec291145ca · 2025-04-03T18:46:10.000+01:00
diff --git a/powershell/ql/lib/semmle/code/powershell/dataflow/Ssa.qll b/powershell/ql/lib/semmle/code/powershell/dataflow/Ssa.qll
@@ -158,7 +158,7 @@ module Ssa {
         not exists(this.getSplitString()) and
         prefix = ""
       |
-        result = prefix + "phi"
+        result = prefix + "phi (" + this.getSourceVariable() + ")"
       )
     }
 

Original file line number	Diff line number	Diff line change
`@@ -158,7 +158,7 @@ module Ssa {`
`158`	`158`	`not exists(this.getSplitString()) and`
`159`	`159`	`prefix = ""`
`160`	`160`	`\|`
`161`		`- result = prefix + "phi"`
	`161`	`+ result = prefix + "phi (" + this.getSourceVariable() + ")"`
`162`	`162`	`)`
`163`	`163`	`}`
`164`	`164`