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

Class 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 semmle.code.java.dataflow.internal.rangeanalysis.SsaReadPositionCommon

Direct supertypes

Known direct subtypes

    Predicates

    hasReadOfVar

    Holds if v is read at this position.

    toString

    Gets a textual representation of this SSA read position.