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

Class MakeUtils::SsaReadPosition

A position at which an SSA variable is read. This includes both ordinary reads occurring in basic blocks and input to phi nodes occurring along an edge between two basic blocks.

Import path

import codeql.rangeanalysis.internal.RangeUtils

Direct supertypes

Predicates

hasReadOfVar

Holds if v is read at this position.

toString

Gets a textual representation of this SSA read position.