Module LoopBounds

Provides helpers for OverflowStatic.ql

Import path

Critical.LoopBounds

Imports

cpp

Provides classes and predicates for working with C/C++/ObjC/ObjC++ 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