Skip to content

Commit ebc167c

Browse files
committed
PS: Fix join in 'count'.
1 parent ae83d56 commit ebc167c

File tree

1 file changed

+7
-1
lines changed

1 file changed

+7
-1
lines changed

powershell/ql/lib/semmle/code/powershell/dataflow/internal/DataFlowPrivate.qll

Lines changed: 7 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -533,6 +533,12 @@ private module ParameterNodes {
533533
}
534534
}
535535

536+
bindingset[p]
537+
pragma[inline_late]
538+
private predicate namedSetHasParameter(NamedSet ns, Parameter p) {
539+
ns.getALowerCaseName() = p.getLowerCaseName()
540+
}
541+
536542
/**
537543
* The value of a normal parameter at function entry, viewed as a node in a data
538544
* flow graph.
@@ -572,7 +578,7 @@ private module ParameterNodes {
572578
count(int k, Parameter p |
573579
k < i and
574580
p = getNormalParameter(f, k) and
575-
p.getLowerCaseName() = ns.getAName()
581+
namedSetHasParameter(ns, p)
576582
)
577583
)
578584
)

0 commit comments

Comments
 (0)