Predicate overflowBarrier
Holds if n is likely guarded against overflow.
Import path
import semmle.code.java.security.ArithmeticCommonpredicate overflowBarrier(Node n)Holds if n is likely guarded against overflow.
import semmle.code.java.security.ArithmeticCommonpredicate overflowBarrier(Node n)