Predicate SafeObjectMapperConfig::isAdditionalFlowStep
Holds if fromNode
to toNode
is a dataflow step
that configures or creates an ObjectMapper
via a builder.
Import path
import semmle.code.java.security.UnsafeDeserializationQuery
predicate isAdditionalFlowStep(Node fromNode, Node toNode)