Member predicate ImplicitPendingIntentAdditionalTaintStep::mutablePendingIntentCreation
Holds if the step from node1 to node2 creates a mutable PendingIntent.
predicate mutablePendingIntentCreation(Node node1, Node node2)Holds if the step from node1 to node2 creates a mutable PendingIntent.
predicate mutablePendingIntentCreation(Node node1, Node node2)