Re-add allowImplicitRead

github · Apr 6, 2023 · 889a974 · 889a974
1 parent cac00b6
commit 889a974
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/java/ql/lib/semmle/code/java/security/SensitiveResultReceiverQuery.qll b/java/ql/lib/semmle/code/java/security/SensitiveResultReceiverQuery.qll
@@ -40,6 +40,8 @@ private module SensitiveResultReceiverConfig implements DataFlow::ConfigSig {
       node.asExpr() = call.getSentData()
     )
   }
+
+  predicate allowImplicitRead(DataFlow::Node n, DataFlow::ContentSet c) { isSink(n) and exists(c) }
 }
 
 module SensitiveResultReceiverFlow = TaintTracking::Global<SensitiveResultReceiverConfig>;