Class WidenedValueFlowAnalysis

The estimation comes from non trivial bounds found via actual flow analysis, but a widening approximation might have been used for variables in loops. For example

for (int i = 0; i < 10; ++i) {
   int j = i + i;
   //...  <- estimation done here based on j
}

Import path

import cpp

Direct supertypes

BufferWriteEstimationReason
TWidenedValueFlowAnalysis

Indirect supertypes

TBufferWriteEstimationReason

Predicates

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

Inherited predicates

combineWith

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