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

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