Predicate upcastToWiderType
Holds if e
occurs in a context where it will be upcast to a wider type.
Import path
import semmle.code.java.security.ArithmeticCommon
predicate upcastToWiderType(Expr e)
Holds if e
occurs in a context where it will be upcast to a wider type.
import semmle.code.java.security.ArithmeticCommon
predicate upcastToWiderType(Expr e)