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

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



Returns a human readable representation of this reason.


Returns the name of the concrete class.

Inherited predicates


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