Predicate guardedLessThanSomething
Holds if e is bounded in a way that is likely to prevent overflow.
Import path
import semmle.code.java.security.ArithmeticCommonpredicate guardedLessThanSomething(Expr e)Holds if e is bounded in a way that is likely to prevent overflow.
import semmle.code.java.security.ArithmeticCommonpredicate guardedLessThanSomething(Expr e)