Module BadAdditionOverflowCheck

Provides the implementation of the BadAdditionOverflowCheck query. The query is implemented as a library, so that we can avoid producing duplicate results in other similar queries.

Import path

Likely_Bugs.Arithmetic.BadAdditionOverflowCheck

Imports

cpp

Provides classes and predicates for working with C/C++/ObjC/ObjC++ code.

Predicates

badAdditionOverflowCheck

Holds if cmp is an overflow check of the following form: