CodeQL library for JavaScript/TypeScript
codeql/javascript-all 2.3.1-dev (changelog, source)
Search

Module DataFlow::AdditionalFlowStep

Contains predicates for accessing the steps contributed by AdditionalFlowStep and SharedFlowStep subclasses.

Import path

import javascript

Predicates

jumpStep

Holds if predsucc should be considered a value-preserving data flow edge that crosses calling contexts.

readStep

Holds if the property prop of the object pred should be read into succ.

step

Holds if predsucc should be considered a data flow edge.

storeStep

Holds if pred should be stored in the object succ under the property prop.