Predicate SsaImpl::getDestVar
Gets the destination variable of an update of a tracked variable.
Import path
import semmle.code.java.dataflow.internal.BaseSSAGets the destination variable of an update of a tracked variable.
import semmle.code.java.dataflow.internal.BaseSSA