Merge pull request #139 from microsoft/powershell-fix-multiple-cfg-su…

…ccessors PS: Fix multiple CFG successors
microsoft · Nov 8, 2024 · 87cbfd1 · 87cbfd1
2 parents 0fb75af + 40f50dd
commit 87cbfd1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/powershell/ql/lib/semmle/code/powershell/controlflow/internal/ControlFlowGraphImpl.qll b/powershell/ql/lib/semmle/code/powershell/controlflow/internal/ControlFlowGraphImpl.qll
@@ -198,7 +198,7 @@ module Trees {
       exists(Parameter p |
         p =
           rank[i + 1](Parameter cand, int j |
-            cand.hasDefaultValue() and j = cand.getFunctionIndex()
+            cand.hasDefaultValue() and func.getFunctionParameter(j) = cand
           |
             cand order by j
           ) and