Provides classes to be used in queries related to vulnerabilities about unstrusted input being used in security decisions.
Provides classes representing various flow sources for taint tracking.
Provides classes and predicates for reasoning about guards and the control flow elements controlled by those guards.
Sensitive data and methods for security.
Provides all default Java QL imports.
A taint tracking configuration for untrusted data flowing to sensitive conditions.