Predicate resolveClassStep
Holds if fromNode to toNode is a dataflow step that resolves a class.
Import path
import semmle.code.java.security.UnsafeDeserializationQuery
predicate
resolveClassStep
(
Node
fromNode
,
Node
toNode
)