C#: Address review comments.

michaelnebel · michaelnebel · commit b42c366250be · 2025-08-20T08:50:23.000+02:00
diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/TaintTrackingPrivate.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/TaintTrackingPrivate.qll
@@ -31,8 +31,7 @@ predicate defaultTaintSanitizer(DataFlow::Node node) {
  */
 bindingset[node]
 predicate defaultImplicitTaintRead(DataFlow::Node node, DataFlow::ContentSet c) {
-  node instanceof ArgumentNode and
-  Collections::isCollectionType(node.getType()) and
+  exists(node) and
   c.isElement()
 }
 

Original file line number	Diff line number	Diff line change
`@@ -31,8 +31,7 @@ predicate defaultTaintSanitizer(DataFlow::Node node) {`
`31`	`31`	`*/`
`32`	`32`	`bindingset[node]`
`33`	`33`	`predicate defaultImplicitTaintRead(DataFlow::Node node, DataFlow::ContentSet c) {`
`34`		`- node instanceof ArgumentNode and`
`35`		`- Collections::isCollectionType(node.getType()) and`
	`34`	`+ exists(node) and`
`36`	`35`	`c.isElement()`
`37`	`36`	`}`
`38`	`37`