CodeQL library for Java/Kotlin
codeql/java-all 0.11.0 (changelog, source)
Search

Class Flow::VariableWriteSourceNode

A node representing the incoming value about to be written at the given assignment.

The captured-variable library will generate flows out of this node, and assume that other parts of the language implementation produce the relevant data flows into this node.

For ordinary assignments, this could be mapped to the right-hand side of the assignment.

For more general cases, where an lvalue has no direct corresponding rvalue, this can be mapped to a data-flow node that wraps the lvalue, with language-specific incoming data flows.

Import path

import codeql.dataflow.VariableCapture

Direct supertypes

Indirect supertypes

Predicates

getVariableWrite

Gets the variable write for which this node is the incoming value being written to the variable.

Inherited predicates

getLocation

Gets the location of this node.

from ClosureNode
toString

Gets a textual representation of this node.

from ClosureNode