Ejecutable

En informática , un ejecutable es un recurso que una computadora puede usar para controlar su comportamiento. Como toda la información en informática, es un dato , pero distinto de los datos que no implican un flujo de control . ^{[ 2 ]} Términos como código ejecutable , archivo ejecutable , programa ejecutable e imagen ejecutable describen formas en las que la información se representa y almacena. Un ejecutable nativo es código máquina y es directamente ejecutable en el nivel de instrucción de una CPU . ^{[ 3 ] [ 4 ]} Un script también es ejecutable, aunque indirectamente a través de un intérprete . El código ejecutable intermedio (como el bytecode ) puede ser interpretado o convertido a código nativo en tiempo de ejecución a través de la compilación just-in-time .

Aunque técnicamente es posible escribir un ejecutable nativo directamente en lenguaje máquina, generalmente no se hace. Es mucho más conveniente desarrollar software como código fuente legible por humanos y automatizar la generación de código máquina mediante una cadena de herramientas de compilación . Hoy en día, la mayoría del código fuente está escrito en un lenguaje de alto nivel, aunque todavía es posible usar lenguaje ensamblador , que está estrechamente relacionado con las instrucciones de código máquina. Muchas cadenas de herramientas constan de un compilador que genera código nativo como un conjunto de archivos objeto y un enlazador que genera un ejecutable nativo a partir de los archivos objeto y otros archivos. Para el lenguaje ensamblador, la herramienta de traducción suele llamarse ensamblador en lugar de compilador.

Los archivos objeto se almacenan normalmente en un formato de contenedor digital que admite estructura en el código máquina , como el formato ejecutable y enlazable (ELF) o el ejecutable portátil (PE), según el contexto informático. ^{[ 5 ]} El formato puede admitir la segregación del código en secciones como .text (código ejecutable), .data (variables globales y estáticas inicializadas) y .rodata (datos de solo lectura, como constantes y cadenas).

Los archivos ejecutables suelen incluir un sistema de tiempo de ejecución , que implementa características del lenguaje de tiempo de ejecución (como la planificación de tareas , el manejo de excepciones , la llamada a constructores y destructores estáticos, etc.) e interacciones con el sistema operativo, en particular el paso de argumentos, el entorno y la devolución de un estado de salida , junto con otras características de inicio y apagado, como la liberación de recursos como los descriptores de archivo . Para C, esto se hace enlazando el objeto crt0 , que contiene el punto de entrada real y realiza la configuración y el apagado llamando a la biblioteca de tiempo de ejecución . ^{[ 6 ]} Por lo tanto, los archivos ejecutables pueden contener código significativo más allá del generado directamente a partir del código fuente. En algunos casos, es deseable omitirlo, por ejemplo, para sistemas embebidos. En C, esto se puede hacer omitiendo el tiempo de ejecución habitual y, en su lugar, especificando explícitamente un script de enlace, que genera el punto de entrada y maneja el inicio y el apagado, como llamar maina para iniciar y devolver el estado de salida al kernel al final. ^{[ 7 ]}

Para ser ejecutable, un archivo debe ajustarse a la interfaz binaria de aplicación (ABI) del sistema. En interfaces simples, un archivo se ejecuta cargándolo en la memoria, saltando al inicio del espacio de direcciones y ejecutándolo desde allí. ^{[ 8 ]} En interfaces más complejas, los archivos ejecutables tienen metadatos adicionales , que pueden especificar las reubicaciones que se realizarán cuando se cargue el programa, o la dirección del punto de entrada donde comenzar la ejecución. ^{[ 9 ]}

• Comparación de formatos de archivos ejecutables
• Compresión de ejecutables : método para comprimir un archivo ejecutable. 
• Texto ejecutable : código destinado a ser una carga útil para explotar una vulnerabilidad de software. Páginas que muestran breves descripciones de los objetivos de redirección. 
• Archivo objeto : archivo que contiene código máquina en formato reubicable. 

• Formato de archivo EXE en ¿Qué es?