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

Module SsaImpl::SsaPublic

Import path

import semmle.code.java.dataflow.SSA

Predicates

adjacentUseUse

Holds if use1 and use2 form an adjacent use-use-pair of the same SsaSourceVariable, that is, the value read in use1 can reach use2 without passing through any other use or any SSA definition of the variable except for phi nodes and uncertain implicit updates.

adjacentUseUseSameVar

Holds if use1 and use2 form an adjacent use-use-pair of the same SSA variable, that is, the value read in use1 can reach use2 without passing through any other use or any SSA definition of the variable.