PS: Implicitly read any element content at sinks when doing taint flow.

This commit is contained in:
Mathias Vorreiter Pedersen
2024-10-14 16:49:48 +01:00
parent 1ec0f53a18
commit a0e17ee37b

View File

@@ -15,7 +15,10 @@ predicate defaultTaintSanitizer(DataFlow::Node node) { none() }
* of `c` at sinks and inputs to additional taint steps.
*/
bindingset[node]
predicate defaultImplicitTaintRead(DataFlow::Node node, DataFlow::ContentSet c) { none() }
predicate defaultImplicitTaintRead(DataFlow::Node node, DataFlow::ContentSet c) {
node instanceof ArgumentNode and
c.isAnyElement()
}
cached
private module Cached {