Análisis del rango de valores

En informática , en particular en la construcción de compiladores , el análisis de rango de valores es un tipo de análisis de flujo de datos que rastrea el rango (intervalo) de valores que una variable numérica puede tomar en cada punto de la ejecución de un programa. ^{[ 1 ]} La información resultante se puede utilizar en optimizaciones como la eliminación de redundancia, la eliminación de código muerto , la selección de instrucciones, etc., pero también se puede utilizar para mejorar la seguridad de los programas, por ejemplo, en la detección de desbordamientos de búfer . ^{[ 2 ]} Las técnicas para el análisis de rango de valores suelen utilizar ampliamente el análisis simbólico . ^{[ 3 ]}

El análisis de rango de valores se implementa a menudo en el compilador Intel C++ y se implementa en GCC . ^{[ 4 ]}