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