CodeQL library for JavaScript
Search

Module DataFlow::SharedFlowStep

Contains predicates for accessing the steps contributed by SharedFlowStep subclasses.

Import path

import javascript

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.