Predicate instanceofExpr
Gets an instanceof expression of v with type type
Import path
import semmle.code.java.dataflow.NullGuards
InstanceOfExpr
instanceofExpr
(
SsaVariable
v
,
RefType
type
)