CodeQL library for JavaScript
Search

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

Indirect supertypes

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 predsucc should be considered a data flow edge.

step

Holds if predsucc 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