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

Predicate convertedExprMightOverflow

Holds if the expression might overflow (either positively or negatively). The possibility that the expression might overflow due to an implicit or explicit cast is also considered.

Import path

import semmle.code.cpp.rangeanalysis.new.SimpleRangeAnalysis
predicate convertedExprMightOverflow(Expr expr)