Class ValueFlowAnalysis

The estimation comes from non trivial bounds found via actual flow analysis. For example

unsigned u = x;
if (u < 1000) {
   //...  <- estimation done here based on u
}

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.

from BufferWriteEstimationReason