Predicate Overflow::semExprDoesNotOverflow
Import path
import semmle.code.java.dataflow.RangeAnalysispredicate semExprDoesNotOverflow(boolean positively, Expr expr)import semmle.code.java.dataflow.RangeAnalysispredicate semExprDoesNotOverflow(boolean positively, Expr expr)