Member predicate UnsafeTypeConfig::isAdditionalTaintStep

Holds if fromNode to toNode is a dataflow step that resolves a class or at least looks like resolving a class.