int v0[6]; // [esp+1h] [ebp-37h] BYREF
char v1[23]; // [esp+19h] [ebp-1Fh] BYREF
qmemcpy(v0, "VMPZB^I[f)*+.){*~yyx", 20);
v0[5] = 2133096749;
strcpy(v1, "%-){$y-y+-.x)~y)*`");
for ( *(_DWORD *)&v1[19] = 0; *(_DWORD *)&v1[19] <= 42u; ++*(_DWORD *)&v1[19] )
*((_BYTE *)v0 + *(_DWORD *)&v1[19]) ^= 29u;
puts(v0);
exit(0);
}字符串
到目前为止，我的理解是这样的：
#include <string.h>
#include<iostream>
using namespace std;
int main () {
int v0[6];
char v1[23];
memcpy(v0, "VMPZB^I[f)*+.){*~yyx", 20);
v0[5] = 2133096749;
strcpy(v1, "%-){$y-y+-.x)~y)*`");
for (int i = 19; i <= 42; ++i) {
*((unsigned char *)v0 + *(unsigned int *)&v1[i]) ^= 29;
}
cout<<v0<<'\n'<<v1;
}型
我无法理解for循环，它很可能是错误的。有人能帮我理解吗？
我曾经提到过stackoverflow来解决类似的问题，也许我对指针没有一个正确的理解，但是for循环让我很困惑。
1条答案
按热度按时间yhived7q1#
反编译代码中的for循环有点难以理解，因为它涉及指针算术和按位操作。
1.它初始化一个指向
v1数组第20个元素的指针。这是由*(_DWORD *)&v1[19] = 0;完成的。_DWORD是表示双字（32位）的数据类型，相当于C中的unsigned int。因此，这一行相当于C中的unsigned int *ptr = (unsigned int *)&v1[19]; *ptr = 0;。它创建了一个指向v1的第20个元素的指针，并将该位置的值设置为0。*(_DWORD *)&v1[19] <= 42u;完成的。1.在循环的每次迭代中，它递增指针所指向位置处的值。这是由
++*(_DWORD *)&v1[19];完成的。1.在循环内部，它对
v0数组的元素执行按位XOR操作。要进行异或运算的元素的索引由指针所指向的位置处的值确定。这是由*((_BYTE *)v0 + *(_DWORD *)&v1[19]) ^= 29u;完成的。_BYTE是表示字节（8位）的数据类型，相当于C中的无符号char。因此，这一行相当于C中的v0[*ptr] ^= 29;。for循环的等效C++代码是：
字符串
此代码可能会导致分段错误，因为它访问超出其边界的
v0数组。v0数组只有6个元素，但循环试图访问第42个元素。这是C++中未定义的行为。反编译的代码可能不正确，或者可能被故意混淆。