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

Module MakeUtils

Import path

import codeql.rangeanalysis.internal.RangeUtils

Predicates

backEdge

Holds if inp is an input to phi along a back edge.

eqFlowCond

Gets a condition that tests whether v equals e + delta.

guardControlsSsaRead

Holds if guard controls the position controlled with the value testIsTrue.

guardDirectlyControlsSsaRead

Holds if guard directly controls the position controlled with the value testIsTrue.

maxPhiInputRank

Holds if rix is the number of input edges to phi.

rankedPhiInput

Holds if inp is an input to phi along edge and this input has index r in an arbitrary 1-based numbering of the input edges to phi.

ssaRead

Gets an expression that equals v - d.

ssaUpdateStep

Holds if v is an SsaExplicitUpdate that equals e + delta.

valueFlowStep

Holds if e1 + delta equals e2.

Classes

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.

SsaReadPositionBlock

A basic block in which an SSA variable is read.

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.

Parameters