Predicate TaintTracking::localAdditionalTaintStep
Holds if taint can flow in one local step from src to sink excluding
local data flow steps. That is, src and sink are likely to represent
different objects.
Import path
import semmle.code.java.dataflow.TaintTrackingpredicate localAdditionalTaintStep(Node src, Node sink, string model)