Skip to content

Commit a0e17ee

Browse files
committed
PS: Implicitly read any element content at sinks when doing taint flow.
1 parent 1ec0f53 commit a0e17ee

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

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

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,10 @@ predicate defaultTaintSanitizer(DataFlow::Node node) { none() }
1515
* of `c` at sinks and inputs to additional taint steps.
1616
*/
1717
bindingset[node]
18-
predicate defaultImplicitTaintRead(DataFlow::Node node, DataFlow::ContentSet c) { none() }
18+
predicate defaultImplicitTaintRead(DataFlow::Node node, DataFlow::ContentSet c) {
19+
node instanceof ArgumentNode and
20+
c.isAnyElement()
21+
}
1922

2023
cached
2124
private module Cached {

0 commit comments

Comments
 (0)