Add qldoc

2025-12-17 01:03:14 +01:00 · 2022-12-15 16:39:31 +00:00
parent de565f9ccc
commit 8449dabefe
1 changed files with 1 additions and 0 deletions
--- 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
 ) {