Provides classes and predicates to be used in queries related to Android Fragment injection.
Provides classes representing various flow sources for taint tracking.
Provides classes and predicates to reason about Android Fragment injection vulnerabilities.
Provides classes for performing local (intra-procedural) and global (inter-procedural) taint-tracking analyses.
Provides all default Java QL imports.
A taint-tracking configuration for unsafe user input that is used to create Android fragments dynamically.