CodeQL library for C/C++
Search

Module SimpleRangeAnalysisInternal

INTERNAL: do not use. This module contains utilities for use in the experimental SimpleRangeAnalysisExpr module.

Import path

import semmle.code.cpp.rangeanalysis.SimpleRangeAnalysis

Predicates

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.

getDefUpperBounds

See comment for getDefLowerBounds, above.

getFullyConvertedLowerBounds

Gets the truncated lower bounds of the fully converted expression.

getFullyConvertedUpperBounds

Gets the truncated upper bounds of the fully converted expression.