Cómo verificar la coherencia del archivo binario generado por el código fuente con el código fuente

El primer paso es el preprocesamiento, incluida la revisión gramatical y otros trabajos.

gcc -P abc.c

El segundo paso es generar código en lenguaje ensamblador a partir del programa fuente.

gcc -S abc.c

Genera el archivo abc.s, que contiene código ensamblador.

El tercer paso del compilador es generar código objeto. Un archivo fuente genera un código objeto.

gcc -c abc.c

generará abc.o

Paso 4: el conector genera un archivo ejecutable basado en el código de destino.

gcc abc.o

El código objeto consta de código máquina y tablas de símbolos (nombres de funciones y variables). La función principal del conector es utilizar la tabla de símbolos para encontrar símbolos introducidos o no definidos (nombres de funciones y variables) en el código de destino en archivos de biblioteca y otros módulos, integrando así varias piezas de código de destino en un archivo ejecutable.