CodeQL library for JavaScript/TypeScript
codeql/javascript-all 0.9.1 (changelog, source)
Search

Member predicate DataFlow::SharedTypeTrackingStep::loadStoreStep

Holds if type-tracking should step from the loadProp property of pred to the storeProp property in succ.

predicate loadStoreStep(Node pred, SourceNode succ, string loadProp, string storeProp)