Value range analysis
In
data flow analysis that tracks the range (interval) of values that a numeric variable can take on at each point of a program's execution.[1]
The resulting information can be used in optimizations such as redundancy elimination, symbolic analysis extensively.[3]
Value range analysis is often implemented in the Intel C++ Compiler and is implemented in GCC.[4]
References
- S2CID 17018610.
- ^ Wagner, D.; Foster, J. S.; Brewer, E. A.; Aiken, A. (2000). A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities. NDSS.
- ^ Birch, Johnnie; van Engelen, Robert; Gallivan, Kyle. "Value Range Analysis of Conditionally Updated Variables and Pointers" (PDF).
- ^ MacLeod, Andrew. "Value range propagation in GCC with Project Ranger".