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

Class DataFlow :: SharedTypeTrackingStep

A data flow edge that should be followed by type tracking.

Unlike SharedFlowStep, this type of edge does not affect the local data flow graph, and is not used by data-flow configurations.

Note: For performance reasons, all subclasses of this class should be part of the standard library. For query-specific steps, consider including the custom steps in the type-tracking predicate itself.

Import path

import javascript

Direct supertypes

Indirect supertypes

Known direct subtypes

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.

withoutPropStep

Holds if type-tracking should step from pred to succ but block flow of props through here.

Inherited predicates

toString

Gets a textual representation of this element.

from Unit