CodeQL library for JavaScript
Search

Module DataFlow::SharedTypeTrackingStep

Provides access to the steps contributed by subclasses of SharedTypeTrackingStep.

Import path

import javascript

Predicates

loadStep

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

loadStoreStep

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

loadStoreStep

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

step

Holds if type-tracking should step from pred to succ.

storeStep

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