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

Class SanitizerGuard::Range

A data-flow node that checks that a path is safe to access.

Import path

import codeql.rust.security.TaintedPathExtensions

Direct supertypes

Indirect supertypes

Known direct subtypes

    Predicates

    checks

    Holds if this guard validates node upon evaluating to branch.

    Inherited predicates

    getAPredecessor

    Gets an immediate predecessor, if any.

    from NodeImpl
    getAPredecessor

    Gets an immediate predecessor node of a given flow type, if any.

    from NodeImpl
    getASplit

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

    from AstCfgNodeImpl
    getASuccessor

    Gets an immediate successor, if any.

    from NodeImpl
    getASuccessor

    Gets a successor node of a given type, if any.

    from NodeImpl
    getAstNode

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

    from AstCfgNodeImpl
    getLocation

    Gets the location of this control flow node.

    from AstCfgNodeImpl
    getScope

    Gets the scope of this node.

    from NodeImpl
    getSplitsString

    Gets a comma-separated list of strings for each split in this node, if any.

    from AstCfgNodeImpl
    isBranch

    Holds if this node has more than one successor.

    from NodeImpl
    isCondition

    Holds if this control flow node has conditional successors.

    from NodeImpl
    isJoin

    Holds if this node has more than one predecessor.

    from NodeImpl
    toString

    Gets a textual representation of this control flow node.

    from AstCfgNodeImpl