CodeQL library for C/C++
codeql/cpp-all 1.1.2-dev (changelog, source)
Search

Predicate upperBoundMayBeWidened

Holds if the upper bound of expr may have been widened. This means the upper bound is in practice likely to be overly wide.

Import path

import semmle.code.cpp.rangeanalysis.new.SimpleRangeAnalysis
predicate upperBoundMayBeWidened(Expr e)