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

Class MakeUtils::SsaReadPositionPhiInputEdge

An edge between two basic blocks where the latter block has an SSA phi definition. The edge therefore has a read of an SSA variable serving as the input to the phi node.

Import path

import codeql.rangeanalysis.internal.RangeUtils

Direct supertypes

Indirect supertypes

Predicates

getOrigBlock

Gets the source of the edge.

getPhiBlock

Gets the target of the edge.

hasReadOfVar

Holds if v is read at this position.

phiInput

Holds if inp is an input to phi along this edge.

toString

Gets a textual representation of this SSA read position.