Class DataFlow::SharedFlowStep

A data flow edge that should be added to all data flow configurations in addition to standard data flow edges.

This class is a singleton, and thus subclasses do not need to specify a characteristic predicate.

Note: For performance reasons, all subclasses of this class should be part of the standard library. Override Configuration::isAdditionalFlowStep for analysis-specific flow steps.

Import path

import javascript

Direct supertypes

Unit

Indirect supertypes

TUnit

Known direct subtypes

Predicates

loadStep	Holds if the property `prop` of the object `pred` should be loaded into `succ`.
loadStoreStep	Holds if the property `prop` should be copied from the object `pred` to the object `succ`.
loadStoreStep	Holds if the property `loadProp` should be copied from the object `pred` to the property `storeProp` of object `succ`.
step	Holds if `pred` → `succ` should be considered a data flow edge.
step	Holds if `pred` → `succ` should be considered a data flow edge transforming values with label `predlbl` to have label `succlbl`.
storeStep	Holds if `pred` should be stored in the object `succ` under the property `prop`. The object `succ` must be a `DataFlow::SourceNode` for the object wherein the value is stored.

Inherited predicates

toString

Gets a textual representation of this element.

from Unit