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