Module ApkInstallationConfig
A dataflow configuration for flow from an external source of an APK to the
setData[AndType][AndNormalize] method of an intent.
Import path
import semmle.code.java.security.ArbitraryApkInstallationQueryPredicates
| isSink | Holds if |
| isSource | Holds if |
| observeDiffInformedIncrementalMode | Holds if sources and sinks should be filtered to only include those that may lead to a flow path with either a source or a sink in the location range given by |