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)