Predicate SimpleRangeAnalysisInternal :: getDefUpperBounds
See comment for getDefLowerBounds
, above.
Import path
import semmle.code.cpp.rangeanalysis.SimpleRangeAnalysis
float
getDefUpperBounds
(
RangeSsaDefinition
def
,
StackVariable
v
)