Module SsaImpl :: SsaPublic

Import path


                                import semmle.code.java.dataflow.SSA

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.