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
)