Provides dataflow configurations to reason about installation of arbitrary Android APKs.
Import path
import semmle.code.java.security.ArbitraryApkInstallationQueryImports
| DataFlow | Provides classes for performing local (intra-procedural) and global (inter-procedural) data flow analyses. |
| TaintTracking | Provides classes for performing local (intra-procedural) and global (inter-procedural) taint-tracking analyses. |
| java | Provides all default Java QL imports. |
Modules
| ApkInstallationConfig | A dataflow configuration for flow from an external source of an APK to the |
Aliases
| ApkInstallationFlow | Constructs a global data flow computation. |