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

Module Node

Provides the Node class and subclasses thereof.

Classes with names ending in Public are exposed as final aliases in the public DataFlow API, so they should not expose internal implementation details.

Import path

import codeql.rust.dataflow.internal.Node

Classes

ArgumentNode
AstNodeNode

A data flow node that corresponds directly to an AST node.

CaptureNode

A synthesized data flow node representing a closure object that tracks captured variables.

CastNode
ClosureArgumentNode

A data flow node that represents the run-time representation of a closure passed into the closure body at an invocation.

ClosureParameterNode

The run-time representation of a closure itself at function entry, viewed as a node in a data flow graph.

DerefOutNode

A node that represents the value of a * expression before implicit dereferencing:

DerefOutPostUpdateNode
ExprArgumentNode
ExprNode

A node in the data flow graph that corresponds to an expression in the AST.

ExprPostUpdateNode
ExprReturnNode
FlowSummaryNode

A data flow node used to model flow summaries.

ImplicitBorrowArgNode
ImplicitBorrowNode

A node that represents the value of an expression after implicit borrowing.

ImplicitBorrowPostUpdateNode
ImplicitDerefArgNode
ImplicitDerefBorrowNode

A node used to represent implicit dereferencing or borrowing.

ImplicitDerefNode

A node used to represent implicit dereferencing.

ImplicitDerefNodeState

A state used to represent the flow steps involved in implicit dereferencing.

ImplicitDerefPostUpdateNode
IndexOutNode

A node that represents the value of a x[y] expression before implicit dereferencing:

IndexOutPostUpdateNode
NameNode

A data flow node that corresponds to a name node in the CFG.

Node
NodePublic

An element, viewed as a node in a data flow graph.

OutNode

A data flow node that represents the output of a call.

ParameterNode

The value of a parameter at function entry, viewed as a node in a data flow graph.

PatNode
PostUpdateNode
PostUpdateNodePublic

A node associated with an object after an operation that might have changed its state.

ReturnNode

A data flow node that represents a value returned by a callable.

SourceParameterNode
SsaNode

An SSA node.

SummaryArgumentNode
SummaryOutNode
SummaryParameterNode

A parameter for a library callable with a flow summary.

SummaryPostUpdateNode
SummaryReturnNode

Datatypes