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;