Predicate intentFlowsToParcel
Holds if intentNode is an Intent used in the context (T)intentNode.getParcelableExtra(...) and
parcelNode is the corresponding parameter of Parcelable.Creator<T> { public T createFromParcel(Parcel parcelNode) { },
where T is a concrete type implementing Parcelable.
Import path
import semmle.code.java.frameworks.google.Gson
predicate
intentFlowsToParcel
(
Node
intentNode
,
Node
parcelNode
)