Value range analysis

<p>In <a href="/facts/Computing/Kghtm9fX">computing</a>, in particular <a href="/facts/Compiler/WNfCDFJe">compiler</a> construction, value range analysis is a type of <a href="/facts/Data_flow_analysis/jz2oI6sX">data flow analysis</a> that tracks the range (interval) of values that a numeric variable can take on at each point of a program's execution.
The resulting information can be used in optimizations such as redundancy elimination, <a href="/facts/Dead_code_elimination/waQRsajr">dead code elimination</a>, instruction selection, etc., but can also be used to improve the safety of programs, e.g. in the detection of <a href="/facts/Buffer_overflow/uMFduL4B">buffer overruns</a>. Techniques for value range analysis typically use <a href="/facts/Symbolic_computation/hjun1KAX">symbolic analysis</a> extensively.
</p><p>Value range analysis is often implemented in the <a href="/facts/Intel_C%2B%2B_Compiler/PvwUrzdn">Intel C++ Compiler</a> and is implemented in <a href="/facts/GNU_Compiler_Collection/t07jh01k">GCC</a>.
</p>

Value range analysis open-in-new

Value range analysis