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

Predicate SimpleRangeAnalysisInternal :: getDefLowerBounds

Get the lower bounds for a RangeSsaDefinition. Most of the work is done by getDefLowerBoundsImpl, but this is where widening is applied to prevent the analysis from exploding due to a recursive definition.

Import path

import semmle.code.cpp.rangeanalysis.SimpleRangeAnalysis
float getDefLowerBounds ( RangeSsaDefinition def , StackVariable v )