Predicate compatibleTypes
Holds if t1
and t2
are compatible, that is, whether data can flow from
a node of type t1
to a node of type t2
.
Import path
import semmle.code.java.dataflow.internal.DataFlowPrivate
predicate
compatibleTypes
(
DataFlowType
t1
,
DataFlowType
t2
)