Class ZeroBound

The bound that corresponds to the integer 0. This is used to represent all integer bounds as bounds are always accompanied by an added integer delta.

Import path

import semmle.code.cpp.rangeanalysis.new.RangeAnalysis

getAnExpr	Gets an expression that equals this bound plus `delta`.
getLocation	Gets a representative locaiton for this bound
toString	Gets a string representation of this bound.

Gets an expression that equals this bound.