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