CodeQL library for JavaScript
Search

Member predicate DataFlow::LegacyTypeTrackingStep::loadStep

Holds if type-tracking should step from the prop property of pred to succ.

predicate loadStep(Node pred, Node succ, string prop)