Predicate UnsafeTypeConfig::isAdditionalFlowStep
Holds if fromNode
to toNode
is a dataflow step that resolves a class
or at least looks like resolving a class.
Import path
import semmle.code.java.security.UnsafeDeserializationQuery
predicate isAdditionalFlowStep(Node fromNode, Node toNode)