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