CodeQL library for C/C++
Search

Module LoopBounds

Provides helpers for OverflowStatic.ql

Import path

import Critical.LoopBounds

Imports

cpp

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

Classes

ClassicForLoop

A for loop of the form for (x = 0; x < limit; x++) with no modification of x in the body. Variations with <= and ++x are allowed.

ZeroAssignment

An assignment to a variable with the value 0. For example: int x; x = 0; but not: int x = 0;