Código inalcanzable

En programación informática , el código inaccesible es parte del código fuente de un programa que nunca se puede ejecutar porque no existe una ruta de flujo de control hacia ese código desde el resto del programa. ^{[ 1 ]}

El código inalcanzable a veces también se denomina código muerto , ^{[ 2 ] [ 3 ]} aunque el código muerto también puede referirse al código que se ejecuta pero no tiene efecto en la salida de un programa. ^{[ 4 ]}

El código inaccesible se considera generalmente indeseable por varias razones:

• Utiliza memoria innecesariamente.
• Puede provocar un uso innecesario de la caché de instrucciones de la CPU.
  • Esto también puede disminuir la localidad de los datos.
• Se puede invertir tiempo y esfuerzo en probar, mantener y documentar código que nunca se utiliza.
  • A veces, una prueba automatizada es lo único que utiliza el código.

El código inaccesible puede tener usos legítimos, como proporcionar una biblioteca de funciones para llamar o acceder manualmente a ellas mediante un depurador mientras el programa se detiene tras un punto de interrupción . Esto resulta especialmente útil para examinar y visualizar de forma legible el estado interno del programa. Podría ser conveniente incluir dicho código en el producto final, de modo que un desarrollador pueda conectar un depurador a la instancia en ejecución del cliente.

El código inaccesible puede existir por muchas razones, como por ejemplo:

• Errores de programación en bifurcaciones condicionales complejas
• una consecuencia de las transformaciones internas realizadas por un compilador optimizador ;
• Pruebas incompletas de código nuevo o modificado
• Código heredado
  • Código reemplazado por otra implementación
  • Código inaccesible que un programador decidió no eliminar porque está mezclado con código accesible.
  • Código potencialmente accesible que los casos de uso actuales nunca necesitan.
  • Código inactivo que se conserva intencionalmente por si se necesita más adelante.
• Código utilizado únicamente para depuración.

El código heredado es aquel que alguna vez fue útil pero que ya no se usa ni se requiere. Sin embargo, el código inaccesible también puede formar parte de una biblioteca, módulo o rutina compleja, donde resulta útil para otros o bajo condiciones que no se cumplen en un escenario particular.

Un ejemplo de código condicionalmente inaccesible podría ser la implementación de una función general de formato de cadena en la biblioteca de tiempo de ejecución de un compilador , que contiene código complejo para procesar todos los argumentos posibles, de los cuales solo se utiliza un pequeño subconjunto. Por lo general, los compiladores no pueden eliminar las secciones de código no utilizadas en tiempo de compilación , ya que el comportamiento está determinado en gran medida por los valores de los argumentos en tiempo de ejecución.

En este fragmento de código C:

int foo ( int x , int y ) { return x + y ; int z = x + y ; }

La definición nunca se alcanza, ya que la función siempre regresa antes. Por lo tanto, no es necesario asignar ni inicializar espacio de almacenamiento para la variable.intz=x+y;z

static OSStatus SSLVerifySignedServerKeyExchange ( SSLContext * ctx , bool isRsa , SSLBuffer signedParams , uint8_t * signature , uint16_t signatureLen ) { OSStatus err ; // ... if (( err = SSLHashSHA1 . update ( & hashCtx , & serverRandom )) != 0 ) goto fail ; if (( err = SSLHashSHA1 . update ( & hashCtx , & signedParams )) != 0 ) goto fail ; goto fail ; if (( err = SSLHashSHA1 . final ( & hashCtx , & hashOut )) != 0 ) goto fail ;// ... fallar : SSLFreeBuffer ( & signedHashes ); SSLFreeBuffer ( & hashCtx ); return err ; }

La detección de código inalcanzable es una forma de análisis del flujo de control que busca código que nunca se puede ejecutar en ningún estado posible del programa. En algunos lenguajes (por ejemplo, Java ^{[ 9 ]} ), ciertas formas de código inalcanzable están explícitamente prohibidas. La optimización que elimina el código inalcanzable se conoce como eliminación de código muerto .

El código puede volverse inaccesible como consecuencia de las transformaciones realizadas por un compilador optimizador (por ejemplo, la eliminación de subexpresiones comunes ).

En la práctica, la sofisticación del análisis tiene un impacto significativo en la cantidad de código inalcanzable que se detecta. Por ejemplo, el plegado de constantes y el análisis de flujo simple muestran que el interior de la instrucción if en el siguiente código es inalcanzable:

entero n = 2 + 1 ;if ( n == 4 ) { // inalcanzable }

Sin embargo, se necesita mucha más sofisticación para determinar que el bloque correspondiente es inaccesible en el siguiente código:

#include <math.h>doble x = raíz cuadrada ( 2 );Si ( x > 5 ) { // inalcanzable }

La técnica de eliminación de código inaccesible pertenece a la misma clase de optimizaciones que la eliminación de código muerto y la eliminación de código redundante .

Algunos lenguajes permiten marcar explícitamente el código como inaccesible:

• C : a través de la macro (en ) ^{[ 10 ]}unreachable()<stddef.h>
• C++ : a través de la función (en ), que es ^{[ 11 ]}std::unreachable()<utility>[[noreturn]]
• C# : se puede indicar usando la clase, usando el método ^{[ 12 ]}System.Diagnostics.DebugDebug.Fail()
• Java : generalmente se marca lanzando la excepción ^{[ 13 ]}java.lang.AssertionError
• Rust : mediante la macro ^{[ 14 ]}unreachable!()
• Swift : vía , o funciones que devuelven ^{[ 15 ]}fatalError()Never
• Zig : a través de la unreachablepalabra clave ^{[ 16 ]}

• Cobertura de código
• Código redundante
• Código muerto
• Código de Oxbow
• Problema de la parada : el problema general de determinar si una parte del código es inalcanzable es al menos tan difícil como el problema de la parada y, por lo tanto, indecidible.

• Appel, AW 1998 Implementación moderna de compiladores en Java. Cambridge University Press.
• Muchnick SS 1997 Diseño e implementación avanzados de compiladores. Morgan Kaufmann.