CodeQL library for C/C++
Search

Predicate guardedLesser

Holds if the value of use is guarded to be less than something.

Import path

import semmle.code.cpp.security.Overflow
predicate guardedLesser(Operation e, Expr use)