Module SensitiveResultReceiverQuery

Definitions for the sensitive result receiver query.

Import path

import semmle.code.java.security.SensitiveResultReceiverQuery

FlowSources	Provides classes representing various flow sources for taint tracking.
SensitiveActions	Sensitive data and methods for security.
TaintTracking	Provides classes for performing local (intra-procedural) and global (inter-procedural) taint-tracking analyses.
java	Provides all default Java QL imports.

isSensitiveResultReceiver	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`.
sensitiveResultReceiver	DEPRECATED: Use `isSensitiveResultReceiver` instead.

Taint tracking flow for sensitive expressions flowing to untrusted result receivers.