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

Class FlowSink::Range

A flow sink.

Import path

import codeql.rust.dataflow.FlowSink

Direct supertypes

Indirect supertypes

Known direct subtypes

    Predicates

    isSink

    Holds is this element is a flow sink of kind kind, where data flows in as described by input.

    isSink

    Holds if this element is a flow sink of kind kind, where data flows in as described by input.

    Inherited predicates

    callResolvesTo

    Holds if the associated call resolves to path.

    from SourceSinkBase
    fromSource

    Holds if this element is from source code.

    from Locatable
    getACfgNode

    Gets a control flow node for this AST node, if any.

    from AstNode
    getAPrimaryQlClass

    Gets the name of a primary CodeQL class to which this element belongs.

    from Element
    getCall

    Gets the associated call.

    from SourceSinkBase
    getEnclosingBlock

    Gets the block that encloses this node, if any.

    from AstNode
    getEnclosingCallable

    Gets the immediately enclosing callable of this node, if any.

    from AstNode
    getEnclosingCfgScope

    Gets the CFG scope that encloses this node, if any.

    from AstNode
    getFile

    Gets the primary file where this element occurs.

    from Locatable
    getLocationfrom Locatable
    getParentNode

    Gets the nearest enclosing parent of this node, which is also an AstNode, if any.

    from AstNode
    getPrimaryQlClasses

    Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs.

    from Element
    getResolveStep

    Gets the most immediate element that should substitute this element in the explicit AST, if any. Classes can override this to indicate this node should be in the “hidden” AST, mostly reserved for conversions and syntactic sugar nodes like parentheses.

    from Element
    hasEnclosingCfgScope

    Holds if this node is inside a CFG scope.

    from AstNode
    isFromMacroExpansion

    Holds if this node exists only as the result of a macro expansion.

    from AstNode
    isInMacroExpansion

    Holds if this node is inside a macro expansion.

    from AstNode
    isUnknownfrom Element
    resolve

    Gets the element that should substitute this element in the explicit AST, applying getResolveStep transitively.

    from Element
    toAbbreviatedString

    INTERNAL: Do not use.

    from Element
    toString

    Gets the string representation of this element.

    from Element
    toStringImpl

    INTERNAL: Do not use.

    from Element

    Charpred