PS: Don't implicitly read any element. Instead, only read positional contents.

This commit is contained in:
Mathias Vorreiter Pedersen
2025-06-20 14:54:15 +01:00
parent 25d94fabcc
commit 05a7cfd264

View File

@@ -18,7 +18,7 @@ predicate defaultTaintSanitizer(DataFlow::Node node) { none() }
bindingset[node]
predicate defaultImplicitTaintRead(DataFlow::Node node, DataFlow::ContentSet c) {
node instanceof ArgumentNode and
c.isAnyElement()
c.isAnyPositional()
}
cached