Module SensitiveCommunicationConfig
Taint configuration tracking flow from variables containing sensitive information to broadcast Intents.
Import path
import semmle.code.java.security.AndroidSensitiveCommunicationQueryPredicates
| allowImplicitRead | Holds if an arbitrary number of implicit read steps of content |
| isBarrier | Holds if broadcast doesn’t specify receiving package name of the 3rd party app |
| 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 |