Predicate narrowerThanOrEqualTo
Holds if the type of exp
is narrower than or equal to numType
,
or there is an enclosing cast to a type at least as narrow as ‘numType’.
Import path
import semmle.code.java.security.ArithmeticCommon
predicate narrowerThanOrEqualTo(ArithExpr exp, NumType numType)