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