Add qldoc

joefarebrother · joefarebrother · commit 8449dabefe1d · 2023-01-12T11:44:39.000Z
diff --git a/java/ql/lib/semmle/code/java/security/SensitiveResultReceiverQuery.qll b/java/ql/lib/semmle/code/java/security/SensitiveResultReceiverQuery.qll
@@ -50,6 +50,7 @@ private class SensitiveResultReceiverConf extends TaintTracking::Configuration {
   }
 }
 
+/** Holds if there is a path from sensitive data at `src`` to a result receiver at `sink`, and the receiver was obtained from an untrusted source `recSrc`. */
 predicate sensitiveResultReceiver(
   DataFlow::PathNode src, DataFlow::PathNode sink, DataFlow::Node recSrc
 ) {

Original file line number	Diff line number	Diff line change
`@@ -50,6 +50,7 @@ private class SensitiveResultReceiverConf extends TaintTracking::Configuration {`
`50`	`50`	`}`
`51`	`51`	`}`
`52`	`52`
	`53`	+/** Holds if there is a path from sensitive data at `src`` to a result receiver at `sink`, and the receiver was obtained from an untrusted source `recSrc`. */
`53`	`54`	`predicate sensitiveResultReceiver(`
`54`	`55`	`DataFlow::PathNode src, DataFlow::PathNode sink, DataFlow::Node recSrc`
`55`	`56`	`) {`