Vitalsource Technologies, Inc. Value-range Analysis Of C Programs