Predicate guardedLesser
Holds if the value of use is guarded to be less than something, and e
is in code controlled by that guard (where the guard condition held).
Import path
import semmle.code.cpp.security.Overflowpredicate guardedLesser(Operation e, Expr use)