如何从objdump反汇编代码中确定二维数组的尺寸？

核心前提 #

已知数组采用行主序存储，这意味着n×n的二维方阵在内存中会被展开为连续的一维空间，二维坐标(i,j)对应的一维内存索引为 i * n + j（i为行号，j为列号，均从0开始，且i < n、j < n）。

具体步骤 #

• 确定单个元素的字节大小：观察汇编中写入的是0xdeadbeef到64位寄存器%rax，再写入内存，说明每个数组元素占8字节（对应C语言的long long类型）。这是计算的基础，若后续验证有问题，也可考虑其他常见类型（如4字节int）。
• 将内存偏移转换为一维数组索引：汇编中每个mov指令标注的数组名+0xXXXX是字节偏移量，将这个十六进制偏移量除以单个元素的字节数，得到该元素在一维展开后的索引值。比如firstArray+0x14a0，用0x14a0 / 8就能算出对应的一维索引。
• 推导方阵尺寸n：对每个数组的索引值，尝试找出正整数n，使得该索引能分解为i * n + j的形式，且i、j均为小于n的非负整数。需要同时满足所有数组的索引分解条件，这个n就是目标方阵的尺寸。

关键验证点 #

• 分解出的i和j必须是有效的行列号（不能为负数，也不能大于等于n）。
• 若多个数组的索引都能匹配同一个n，则该n的可信度更高。

内容的提问来源于stack exchange，提问作者user4052072