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

Predicate DataFlow :: SharedTypeTrackingStep :: loadStoreStep

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

Import path

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