CodeQL library for JavaScript
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.

    Inherited predicates

    toString

    Gets a textual representation of this element.

    from Unit