Class 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 semmle.javascript.dataflow.TypeTracking

Direct supertypes

Unit

Indirect supertypes

TUnit

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