Predicate TaintedObject::isAdditionalFlowStep
Holds for the flows steps that are relevant for tracking user-controlled JSON objects.
Import path
import semmle.javascript.security.TaintedObjectpredicate isAdditionalFlowStep(Node node1, FlowState state1, Node node2, FlowState state2)