Predicate getVariableRangeType
Gets the type used by range analysis for the given StackVariable.
Import path
import semmle.code.cpp.rangeanalysis.RangeAnalysisUtilsGets the type used by range analysis for the given StackVariable.
import semmle.code.cpp.rangeanalysis.RangeAnalysisUtils