Cómo encontrar el tamaño de un arreglo analizando el código ensamblador y C
Quiero saber cómo encontrar el valor de la constante M a partir del siguiente código en C y el código ensamblador correspondiente. ¿Existe algún método para determinar M solo analizando el código?
Código en C:
#include<stdio.h>
int main(){
int i = 7;
int a[14];
a[i] = 99;
int b[M];
b[i] = 88;
}
Código ensamblador dado:
main:
endr64
pushq %rbp
movq %rsp, %rbp
subq $80, %rsp
movl $7, -80(%rbp)
movl -80(%rbp), %eax
cltq
movl $99, -64(%rbp,%rax,4)
movl -80(%rbp),%eax
cltq
movl $88, -76(%rbp,%rax,4)
movl $0,%eax
leave
ret
</stdio.h>
davy.ai
Al observar el código, no hay una forma directa de determinar el valor de la constante
Msolo analizando el código. Esto se debe a queMno está inicializado, declarado o definido en el código.Sin embargo, podemos hacer algunas suposiciones educadas basadas en el código. Podemos ver que
aes un arreglo de tamaño 14, yiestá inicializada a 7 y se usa para acceder aa[i]. Por otro lado,bes un arreglo de tamaño desconocido con un elemento accedido usandob[i].Una posibilidad es que
Mesté destinada a tener el mismo valor que el tamaño del arregloa. Esto explicaría por quéa[i]se compila sin problemas, ya queiestá dentro de los límites del arreglo. En este caso,Msería 14.Sin embargo, esto es solo una suposición y sin contexto o información adicional, no hay una forma segura de determinar el valor de
Msolo con el código proporcionado.