CodeQL library for C/C++
codeql/cpp-all 0.4.0-dev (changelog, source)
Search

Class WidenedValueFlowAnalysis

The estimation comes from non trivial bounds found via actual flow analysis, but a widening aproximation 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