Module ConditionalBypassQuery

Provides classes to be used in queries related to vulnerabilities about unstrusted input being used in security decisions.

Import path

import semmle.code.java.security.ConditionalBypassQuery

FlowSources	Provides classes representing various flow sources for taint tracking.
Guards	Provides classes and predicates for reasoning about guards and the control flow elements controlled by those guards.
SensitiveActions	Sensitive data and methods for security.
java	Provides all default Java QL imports.

Holds if ma is controlled by the condition expression e.

A taint tracking configuration for untrusted data flowing to sensitive conditions.

Taint tracking flow for untrusted data flowing to sensitive conditions.