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
Imports
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. |
Predicates
conditionControlsMethod |
Holds if |
Classes
ConditionalBypassFlowConfig |
DEPRECATED: Use |
Modules
ConditionalBypassFlowConfig |
A taint tracking configuration for untrusted data flowing to sensitive conditions. |
Aliases
ConditionalBypassFlow |
Taint tracking flow for untrusted data flowing to sensitive conditions. |