CodeQL library for Rust
codeql/rust-all 0.2.6 (changelog, source)
Search

Class FlowSummaryNode

A data flow node used to model flow summaries.

Import path

import codeql.rust.dataflow.internal.Node

Direct supertypes

Indirect supertypes

Known direct subtypes

    Predicates

    getCfgScope

    Do not call: use getEnclosingCallable() instead.

    getEnclosingCallable

    Gets the enclosing callable.

    getLocation

    Gets the location of this node.

    getSinkElement

    Gets the AST sink node that this node belongs to, if any

    getSourceElement

    Gets the AST source node that this node belongs to, if any

    getSummarizedCallable

    Gets the summarized callable that this node belongs to, if any.

    getSummaryNode
    isSink

    Holds is this node is a sink node of kind kind.

    isSource

    Holds is this node is a source node of kind kind.

    toString

    Gets a textual representation of this node.

    Inherited predicates

    asExpr

    Gets the expression that corresponds to this node, if any.

    from NodePublic
    asParameter

    Gets the parameter that corresponds to this node, if any.

    from NodePublic
    asPat

    Gets the pattern that corresponds to this node, if any.

    from NodePublic
    getAstNode

    Gets the AST node that corresponds to this data flow node, if any.

    from Node