CodeQL library for Java/Kotlin
codeql/java-all 0.9.0 (changelog, source)
Search

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)