CodeQL library for Java/Kotlin

codeql/java-all 9.2.2 (changelog, source)

Module SsaImpl

Import path

import semmle.code.java.dataflow.internal.SsaImpl

Imports

Cached
java	Provides all default Java QL imports.

Predicates

fieldAccessInCallable
getAUse
phiHasInputFromBlock
ssaDefReachesEndOfBlock
ssaDefReachesUncertainDef	Holds if the SSA definition of `v` at `def` reaches `redef` without crossing another SSA definition of `v`.
ssaExplicitUpdate
ssaImplicitInit
ssaUncertainImplicitUpdate
uncertainVariableUpdate	Holds if `n` might update the locally tracked variable `v`.

Datatypes

TSsaSourceVariable

Aliases

Definition	A static single assignment (SSA) definition.
Impl	Provides an SSA implementation.
PhiNode	A phi node.
Ssa	Builds the user-facing SSA API (the `SsaSig` class hierarchy and associated predicates) on top of the core SSA construction, using the language-specific expressions, parameters, and writes provided by `SsaInput`.
UncertainWriteDefinition	An SSA definition that represents an uncertain update of the underlying source variable.
WriteDefinition	An SSA definition that corresponds to a write.