Cómo dibujar el marco de la pila para una función en C.
1a: Examina el código a continuación y dibuja los marcos de pila cuando la función1, función2 y función3 son llamadas por el programa principal en un sistema de 32 bits. Usa objdumb y el depurador GDB para analizar el código ensamblador de las funciones. Dibuja el marco de pila después de analizar el código ensamblador. La Figura 2 muestra un marco de pila de ejemplo. El requisito de esta parte es producir tres marcos de pila correspondientes a las tres funciones del código. Las direcciones y el contenido correspondiente de la pila (según el código ensamblador de las funciones) deben incluirse de acuerdo con el formato mostrado en la Figura 2. También se debe incluir una captura de pantalla del código ensamblador de las funciones.
1b: Identifica una vulnerabilidad de software en el código. Explota la vulnerabilidad y ejecuta la función4 en lugar de la función3. Es importante tener en cuenta que la función4 nunca es llamada por la función principal. Tu tarea es inyectar un argumento de línea de comandos para que se llame a la función4 en lugar de la función3. Incluye capturas de pantalla de todo el proceso y explica el procedimiento de explotación de la pila.
int function1(int x, int y, int z)
{
int result_func1;
result_func1 = x + y + z;
return result_func1
}
int function2(int x, int y, char* input_string)
{
int result_func2;
char buffer[20];
strcpy(buffer, input_string);
printf("tu cadena de entrada %s se copia en el búfer \n", input_string);
result_func2= x - y;
return result_func2
}
void function3(int result1, int result2)
{
printf("El resultado de la función 1 es %d\n", result1);
printf("El resultado de la función 1 es %d\n", result1);
}
void function4(void)
{
printf("La función nunca es llamada \n");
exit(-1);
}
int main(int argc, char* argv[])
{
int result1;
int result2;
result1 = function1(5, 10, 15);
result2 = function2(20, 8, argv[1]);
function3(result1, result_func1);
}
Apreciaría mucho si alguien pudiera ayudarme.
davy.ai
1a: Para dibujar los marcos de la pila, es necesario analizar el código ensamblador de cada función utilizando objdump y el depurador GDB. Esto te ayudará a identificar el tamaño del marco de la pila, las direcciones de memoria de las variables locales y la dirección de retorno. Luego, puedes dibujar el marco de la pila de acuerdo al formato mostrado en la Figura 2, incluyendo la dirección y contenido de la pila.
Por ejemplo, para la función1:
El código ensamblador se puede obtener mediante el comando:
Debes identificar las instrucciones que asignan espacio para las variables locales y empujan la dirección de retorno a la pila. Por ejemplo:
Puedes ver que la función comienza empujando el puntero base (ebp) a la pila y moviendo el puntero de pila (esp) al puntero base. Luego asigna 0x18 bytes de espacio en la pila para las variables locales restando 0x18 del puntero de pila. Finalmente, mueve los parámetros (x, y, z) a registros, realiza la suma y guarda el resultado en la variable local result_func1. Antes de retornar, mueve el resultado al registro eax, desempuja el puntero base y retorna desempujando la dirección de retorno de la pila.
Utilizando esta información, puedes dibujar el marco de la pila para la función1, incluyendo la dirección y contenido de la pila.
1b: Para aprovechar la vulnerabilidad en el código, necesitas utilizar un desbordamiento de búfer para sobrescribir la dirección de retorno en la pila y redirigir la ejecución del código a la función4 en lugar de la función3. Esto se puede hacer proporcionando una cadena de entrada que sea más larga que el tamaño del búfer (20 bytes) en la función2.
Por ejemplo:
En este ejemplo, la cadena de entrada es “AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABBBB” seguida de la dirección de function4 (0x08048580) en formato little-endian. Esto sobrescribirá la dirección de retorno en la pila con la dirección de function4 y redirigirá la ejecución del código a esa función en lugar de la función3.
Puedes utilizar el depurador GDB para verificar que el desbordamiento de búfer funcione como se espera y se llame a la función4 en lugar de la función3. Asegúrate de incluir capturas de pantalla de todo el proceso, incluyendo la cadena de entrada, el marco de la pila antes y después del desbordamiento de búfer y la salida del programa.