《老码识途》读书笔记：第一章（上）
《老码识途》读书笔记：第一章--欲向码途问大道，锵锵bit是吾刀（上）
1、赋值语句
对于全局变量赋值语句，例如下面这句：
1 int gi; 2 void main(int argc, char* argv[]) 3 { 4 gi = 12; 5 }
对于gi = 12;这句赋值语句来说，可查看其汇编表示形式为（内存地址为书中例子）：
1 0041138E mov dword ptr ds:[00417140h],0ch
其中00417140h为十六进制数表示的全局变量gi存放在内存中的地址，0ch是十进制数12的十六进制表示，0041138E为十六进制数表示的赋值指令mov在内存中的存放地址。这句汇编指令的意思是，将十六进制数0ch以四个字节(dword)的形式存放入从内存地址00417140h开始的四个字节长度的内存空间中。再来观察其对应的机器码如下：
1 c7 05 40 71 41 00 0c 00 00 00
其中c7 05 代表mov指令，40 71 41 00 代表地址00417140h（小数端存储方式），0c 00 00 00 代表以四个字节表示的要进行赋值的数12。假设从内存地址00417140h开始的十个字节分别为：
1 0x00417140 11 11 11 11 11 11 11 11 11 11
则该条赋值语句执行完毕后该内存中的值应该为：
1 0x00417140 0c 00 00 00 11 11 11 11 11 11
因为一次修改了四个字节的内存空间，且小端机在内存中的字节数据是倒序存放的，因此前四个字节变成了0c 00 00 00。
如果要修改赋值语句的机器码，例如将上面语句中的12改为894567，则需先求出894567的十六进制表示为0xda667。同时还要考虑到小端机内存字节数据倒序存放的特点，即可完成对赋值语句字节码的修改，修改后的机器码如下：
1 c7 05 40 71 41 00 67 a6 0d 00
根据上面的分析我们知道指令不过就是一些字节的组合，因此我们可以抛开C语言，自己在内存中构造指令来执行。具体思路为可以先在内存中分配一块区域，存放我们要执行的指令的机器码。然后在正常的函数中通过jmp指令跳转到存放我们构造的指令所在的内存地址，因为控制读取指令的EIP寄存器中的值总是指向当前指令之后的内存地址，因此还必须在我们构造的指令之后再多构造一条jmp指令，使得程序在执行完构造的指令后还能通过jmp指令跳转回原程序中，其主函数代码如下：
1 void main() 2 { 3 void* code = buildCode(); 4 _asm { 5 mov address, offset _lb1 6 } 7 8 gi = 12; 9 printf("gi = %d\n", gi); 10 _asm jmp code // 跳转到相应的内存地址去执行构造的指令 11 gi = 13; 12 13 _lb1: 14 printf("gi = %d\n", gi); // 打印的结果为18而不是13 15 getchar(); 16 }
其中第3行调用buildCode获取新构建代码的首地址，第4到6行将第13行代码的地址赋值给address用以在执行完新构建的代码之后返回原函数，第10行跳转到指针code指向的地址。我们将在新构建的代码中将变量gi赋值为18，并在第14行打印这个赋值后的结果。（显而易见第11行的赋值语句就这样被跳过忽略了，可怜的孩纸）。
然后就是真正构建指令的过程了，mov指令的机器码我们之前已经了解过了，同样地通过反汇编我们同样能看到jmp指令的机器码格式为：
1 ff 25 12 34 56 78
其中ff 25是jmp指令的机器码表示，后面的四个字节则是要跳转的目标内存地址的十六进制表示。因此两条指令总共需要16字节的内存空间，然后分别将对应的机器码存入到这些内存空间中，代码如下所示：
1 void* buildCode() 2 { 3 char* code = (char *)malloc(16); 4 char* pMov = code; 5 char* pJmp = pMov + 10; 6 char* pAddress; 7 8 //mov gi, 18 9 pMov[0] = 0xc7; 10 pMov[1] = 0x05; 11 pAddress = pMov + 2; 12 *((int *)pAddress) = (int)&gi; 13 *((int *)(pAddress + 4)) = 18; 14 15 //jmp address 16 pJmp[0] = 0xff; 17 pJmp[1] = 0x25; 18 *((int *)(&pJmp[2])) = (int)&address; 19 20 return code; 21 }
在上面的代码中，首先使用malloc函数分配一块长度为16字节的内存空间。然后将该内存空间划分为两部分，前一部分存放mov指令的机器码，后一部分存放jmp指令的机器码。在第9到13行，将mov指令的机器码按字节存入内存中。在16到18行，将jmp指令的机器码存放在紧邻mov指令之后的内存空间中。最后返回该内存空间的首地址供主函数进行跳转。
2、理解指针和指针强制转换
学习过C/C++的人都知道指针的值其实就是一个内存地址，但是指针同时又有类型的区别，例如int* 和 float*。那么为什么区区一个内存地址还要有类型的区别呢？编译器怎么判断一个指针的类型？这些有关于类型的信息究竟存储在什么地方呢？来看一看下面的这一段代码：
1 int gi; 2 int *pi = NULL; 3 void main() 4 { 5 6 pi = &gi; 7 8 *pi = 12; 9 }
对其中的pi = &gi; 这一赋值语句，与其对应的汇编代码为：
1 00411452 mov dword ptr ds:[00417164h], 417168h
其中00417164h是pi的内存地址，417168h是gi的内存地址，因此这条赋值语句的作用是获取全局变量gi所在的内存地址并将该地址赋值给指针pi，即将gi的地址放入一个4字节的变量pi中（书中原话）。因为变量gi的地址长度刚好为4个字节，所以指针确实只存储了变量的地址，那么指针的类型信息究竟储存在什么地方呢？
再来看看 *pi = 12 这一句的汇编代码如下：
1 0041145C mov eax, dword ptr ds:[00417164h] 2 00411461 mov dword ptr [eax], 0ch
在第二条语句中，除了要赋的值（0ch）、被赋值的地址外，还有一个dword符号。是它回答了我们的问题：“写几字节？”dowrd表明将在内存中写入四个字节的信息，因此指针的类型信息决定了赋值/读取时写/读多少字节。
读/写多少字节的信息不是存放在指针变量中，而是放到了与该地址相关的赋值指令中，mov指令中的dword指明了这个信息。
为了验证上面的结论，再来看下面这段赋值语句的汇编代码：
1 short gi; 2 short *pi; 3 4 int main() { 5 pi = &gi; 6 00413762 mov dword ptr ds:[417165h], 417168h 7 8 *pi = 12; 9 0041376C mov eax, 0ch 10 00413771 mov ecx, dword ptr ds:[417164h] 11 00413777 mov word ptr ds:[ecx], ax 12 }
*pi = 12 对应的三条指令进行的操作分别为：
1、mov eax, 0ch：将12放入eax中，eax为4字节，12存放在eax的低2字节即ax中。
2、mov ecx, dword ptr ds:[417164h]：将pi存储的地址即gi的地址放入ecx中（pi的地址是417164h，[417164h]中存储的是gi的地址）。
3、mov word ptr ds:[ecx], ax：将eax的低2字节存储的内容（就是要赋值的12）存入ecx指向的地址（即gi的地址）中。"word"表明了如果向gi所在地址存储，将写入2字节。
根据上面的分析可知，指针类型信息short*体现在赋值指令mov中，而不是存放在指针变量中，指针变量只存放了地址。C语言的指针类型包含两方面信息：一是地址，存放在指针变量中；二是类型信息，关乎读写的长度，没有存储在指针变量中，位于用该指针读写是的mov指令中，不同的读写长度对应的mov指令不同。
C语言之所以要包装出指针的概念，是在汇编地址的内涵上增加了另一层含义，即读/写多少字节。不同类型指针，访问字节数不同。int*访问4字节，short*访问2字节，char*访问1字节。这样就方便我们操控一个地址，否则如果只有地址信息，每次访问它还要附加说明访问的字节数。同时，指针的加减也并不是简单地只是加减1字节，而是与其每次能访问的字节长度有关。例如int*加一是加4字节，而short*加一则是加2字节。
关于指针的强制类型转换的问题，联系上面的知识很容易就能够明白，先来看下面的代码：
1 int i; 2 int *pi; 3 short *ps; 4 char *pc; 5 6 void main(int argc, char* argv[]) 7 { 8 pi = &i; 9 0041138e mov dword ptr ds:[417148h], 41714ch 10 11 ps = (short *)&i; 12 00411398 mov dword ptr ds:[417144h], 41714ch 13 14 pc = (char *)&i; 15 004113a2 mov dword ptr ds:[417140h], 41714ch 16 }
从上面的代码可以看出，只有赋值地址的三条指令没有产生任何与类型相关的指令。可知，在指针变量赋值上，强制转换只是编译器的一个善意提醒，没有产生实际的指令。
指针强制转换的影响不是在转换的时候发生，而是在用转换的身份去访问内存时体现到了指令中，例如下面的代码：
1 *pi = 0x1234; 2 004113ac mov eax, dword ptr ds:[417148h] 3 004113b1 mov dword ptr [eax], 1234h 4 5 *ps = 0x1234; 6 004113b7 mov eax, 1234h 7 004113bc mov ecx, dword ptr ds:[417144h] 8 004113c2 mov word ptr [ecx], ax 9 10 *pc = 0x12; 11 004113c5 mov eax, dword ptr ds:[417140h] 12 004113ca mov byte ptr [eax], 12h
从上面的代码可以看出，在用之前经过强制转换之后赋值的不同类型的指针，虽然指向的都是同一个内存地址，但是其可操作的内存空间大小却是不一样的。要考虑什么情况下强制转换是安全的，就要看用这个转换后的身份去访问内存是否安全，简单说有以下原则：
如果转换后指针指向的数据类型大小小于原数据类型大小，那么用该转化后的指针访问就不会越过原数据的内存，是安全的，否则危险，要越界。
在上面的例子中， ps = (short *)&i; 强制转换后，用ps来访问内存是2字节，而i本身是4字节，所以不会越界，是安全的。而下面的代码就是危险的：
1 short s; 2 int *p; 3 p = (int *)&s;
因为p指向的是short变量s，大小为2字节，而p为整数指针，用它访问指向的内存将生成访问4字节的指令，访问将会越界。
