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

Class DataFlow::AdditionalFlowStep

A value-preserving data flow edge that should be used in 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.

As an alternative to this class, consider using DataFlow::SummarizedCallable.

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

Import path

import javascript

Direct supertypes

Indirect supertypes

Known direct subtypes

    Predicates

    jumpStep

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

    readStep

    Holds if the given content of the object in pred should be read into succ.

    step

    Holds if predsucc should be considered a value-preserving data flow edge.f

    storeStep

    Holds if pred should be stored in the given content of the object succ.

    Inherited predicates

    toString

    Gets a textual representation of this element.

    from Unit