Replace allowImplicitRead with default implementation

egregius313 · egregius313 · commit 74b71ff7e35a · 2023-04-13T23:06:16.000-04:00
diff --git a/java/ql/lib/semmle/code/java/security/SensitiveResultReceiverQuery.qll b/java/ql/lib/semmle/code/java/security/SensitiveResultReceiverQuery.qll
@@ -40,8 +40,6 @@ private module SensitiveResultReceiverConfig implements DataFlow::ConfigSig {
       node.asExpr() = call.getSentData()
     )
   }
-
-  predicate allowImplicitRead(DataFlow::Node node, DataFlow::ContentSet c) { isSink(node) }
 }
 
 module SensitiveResultReceiverFlow = TaintTracking::Global<SensitiveResultReceiverConfig>;

Original file line number	Diff line number	Diff line change
`@@ -40,8 +40,6 @@ private module SensitiveResultReceiverConfig implements DataFlow::ConfigSig {`
`40`	`40`	`node.asExpr() = call.getSentData()`
`41`	`41`	`)`
`42`	`42`	`}`
`43`		`-`
`44`		`- predicate allowImplicitRead(DataFlow::Node node, DataFlow::ContentSet c) { isSink(node) }`
`45`	`43`	`}`
`46`	`44`
`47`	`45`	`module SensitiveResultReceiverFlow = TaintTracking::Global<SensitiveResultReceiverConfig>;`