From 3826b9be6caaee7310a545b9ee7a2fb6daea381a Mon Sep 17 00:00:00 2001
From: Ed Minnix <egregius313@github.com>
Date: Thu, 6 Apr 2023 17:28:32 -0400
Subject: [PATCH] Re-add allowImplicitRead

---
 .../semmle/code/java/security/SensitiveResultReceiverQuery.qll  | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/java/ql/lib/semmle/code/java/security/SensitiveResultReceiverQuery.qll b/java/ql/lib/semmle/code/java/security/SensitiveResultReceiverQuery.qll
index c0aef9c57ef..6251e553dbb 100644
--- 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>;