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
Indirect supertypes
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 |