Class TypeBoundsAnalysis

The estimation comes from rough bounds just based on the type (e.g. 0 <= x < 2^32 for an unsigned 32 bit integer).

Import path

import cpp

getDescription	Returns a human readable representation of this reason.
toString	Returns the name of the concrete class.

Combine estimate reasons. Used to give a reason for the size of a format string conversion given reasons coming from its individual specifiers.