Reverseando programas simples en C para practicar asm e ing inversa me encontré algo que no termino de entender, cuando paso parámetros a una función, estos se guardan en registros, y después, una vez en la función, se meten al stack. Hasta ahí bien. El problema es donde los mete, porque hay 12 bytes de espacio no usado entre donde guarda los parámetros pasados a la función y las variables internas de la función, muestro el código:


Y aquí el desensamblado generado por radare2,

main:

Función func:

Como veis, en la función func los parámetros pasados se guardan en $rbp - 0x14 y $rbp - 0x18, mientras que la variable local se guarda en $rbp - 0x4. Así que siendo todas las variables ints de 4 bytes, ¿Porque quedan 12 bytes libres e inútiles de $rbp - 0x4 a $rbp - 0x10?

He estado un rato pensándolo y bueno, creo que es por el tema de alineamiento que dice stake. Si no me equivoco, en sistemas de 64bits el puntero a la pila apunta a posiciones múltiples de 8 y cuando se necesitan almacenar variables locales, si es menor de 8B se cuenta como si fuera de 8B. Esto nos deja con que en la función podemos decir que existen 3 variables, por lo que se necesitan 3*8=24B y dentro de ese espacio depende de las políticas del compilador el poner los datos en una posición u otra.

Saludos!