One of the major approaches to numeric static analysis is abstract
interpretation [1]}, in which program
statements are evaluated over an abstract domain until a fixed point is
reached. Indeed, the first paper on abstract
interpretation [1]} used numeric
intervals as one example abstract domain, and many subsequent
researchers have explored abstract interpretation-based numeric static
analysis [3]}, [4]}, [5]}, [6]}, [7]}, [8]}.
