Member predicate ImplicitPendingIntentAdditionalTaintStep :: step
Holds if the step from node1 to node2 should be considered a taint
step for flows related to the use of implicit PendingIntents.
Holds if the step from node1 to node2 should be considered a taint
step for flows related to the use of implicit PendingIntents.