import java import semmle.code.java.dataflow.SSA from SsaVariable ssa, RValue use where use = ssa.getAFirstUse() select ssa, use