CodeQL library for JavaScript
Search

Member predicate PrototypePollutingAssignment::Configuration::isAdditionalFlowStep

Holds if src -> trg is a flow edge converting flow with label inlbl to flow with label outlbl.

predicate isAdditionalFlowStep(Node pred, Node succ, FlowLabel inlbl, FlowLabel outlbl)