Predicate Sem::getSsaType
Gets the type of an SSA variable.
Import path
import semmle.code.java.dataflow.RangeAnalysis
Type getSsaType(SsaVariable var)
Gets the type of an SSA variable.
import semmle.code.java.dataflow.RangeAnalysis
Type getSsaType(SsaVariable var)