CodeQL library for JavaScript
Search

Member predicate DataFlow::SharedTypeTrackingStep::storeStep

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

predicate storeStep(Node pred, SourceNode succ, string prop)