20135308-信息安全系统设计基础第五周学习总结
第3章 程序的机器级表示
一、X86 寻址方式
1 DOS时代的平坦模式，不区分用户空间和内核空间，很不安全
2 8086的分段模式
3 IA32的带保护模式的平坦模式
二、程序编码
编译如下代码：
unix> gcc -01 -o p p1.c p2.c
- 01 表示告诉编译器使用第一级优化。通常，提高优化级别会使最终程序运行的更快，但编译时间可能会变长，用调试工具对代码进行调试会更困难。
- 从得到的程序性能方面考虑，第二级优化-02被认为是是较好的选择。
二、机器级代码
1、两种抽象
（1）ISA
ISA（Instruction set architecture）指令体系结构：机器级程序的格式和行为，定义了处理器状态、指令的格式、每条指令对状态的影响。
（2）机器级程序使用的存储器地址是虚拟地址
提供的存储器模型看上去是一个非常大的字节数组，实际实现是将多个硬件存储器和操作系统软件组合起来。
2、汇编代码特点
它用可读性更好的文本格式来表示。
3、状态可见的几种处理器
- 程序计数器 （PC，用%eip表示）
- 整数寄存器 （包含8个命名的位置，存储32位的值）
- 条件码寄存器 （实现if和while语句）
- 浮点寄存器 （存放浮点数）
机器代码简单地将存储器看成一个很大的、按字节寻址的数组。 汇编代码也不区分有符号或无符号整数，不区分各种类型的指针，甚至不区分指针和整数。
一条机器指令只执行一个非常基本的操作
三、获得汇编代码
（1）gcc -S xxx.c -o xxx.s 获得汇编代码
eg：unix> gcc -01 -S code.c
（2）objdump -d xxx 反汇编;
eg:unix> objdump -d code.o
注意: 64位机器上想要得到32代码：gcc -m32 -S xxx.c
MAC OS中没有objdump, 有个基本等价的命令otool
Ubuntu中 gcc -S code.c （不带-O1） 产生的代码更接近教材中代码（删除"."开头的语句）
四、查看二进制格式文件
二进制文件可以用od 命令查看，也可以用gdb的x命令查看。 有些输出内容过多，我们可以使用 more或less命令结合管道查看，也可以使用输出重定向来查看
od code.o | more
od code.o > code.txt
五、关于格式的注解
以“.”开头的行都是指导汇编器和链接器的命令，我们通常可以忽略这些行。
gcc -S 产生的汇编中可以把 以”.“开始的语句都删除了再阅读。
六、Linux和Windows的汇编格式
ATT格式的汇编代码
是GCC、OBJDUMP及其他我们使用的一些工具的默认格式。
Intel格式的汇编代码
包括Microsoft工具等编程工具。
1、C语言基本数据类型对应的IA32表示。
数据传送指令有三个变种：
movb（传送字节）
movw（传送字）
movl（传送双字）
后缀'l'用来表示双字
注：汇编代码也使用后缀'l'来表示4字节整数和8字节双精度浮点数。
七、访问信息
一个IA32中央处理单元（CPU）包含一组8个存储32位值的寄存器。这些寄存器用来存储整数数据和指针。
esi edi可以用来操纵数组，esp ebp用来操纵栈帧。
1、操作数指示符
操作数：指示出执行一个操作中要引用的源数据值，以及放置结果的目标位置。
（1）操作数的三种类型
- 立即数
- 寄存器
- 存储器
（2）多种不同的寻址方式
2、数据传送指令
（1）MOV类指令
定义：将数据从一个位置复制到另一个位置，将源操作数的值复制到目的操作数。
（2）PUSH&POP指令
PUSH：将数据压入程序栈中
POP：从程序栈中弹出数据
注意：
1.后进先出：即弹出的值永远是最近被压入，仍然在栈内的值
2.栈指针指向栈顶元素
3.栈向下即低地址方向增长
4.栈顶元素的地址是所有栈中元素地址中最低的。
3、数据传送示例
（1）指针示例
eg：int x = *xp；
读出参数xp，放在寄存器%edx里，然后将x读到%eax中，实现了C程序中的操作 x=*xp，然后用寄存器%eax从该函数返回一个值x。
八、算术和逻辑操作
1、操作分类
- 加载有效地址
-
一元操作
只有一个操作数，既是源又是目的。它可以是一个寄存器，或者存储器位置。
-
二元操作
有两个操作数，其中第二个操作数，又是源，又是目的。
-
移位
SAL 算术左移
SHL 逻辑左移
SAR 算术右移（补符号位）
SHR 逻辑右移（补0）
先给出位移量，再给出要位移的位数，可进行算术和逻辑右移。
2、加载有效地址
加载有效地址（load effective address）指令leal是movl指令的变形。
将有效地址写入到目的操作数。
3、特殊算术操作
下图描述的指令支持产生两个32位数字的全64位乘积以及整数除法。
（1）乘法
乘积截断：产生一个32位乘积
乘积不截断：
- 无符号数乘法（mull）
- 补码乘法（imull）
（2）除法
有符号除法指令：idivl
将寄存器%edx，%eax中的64位数作为被除数
将商存储在寄存器%eax中，余数存储在%edx中。
九、控制
1、条件码
条件码寄存器：他们描述了最近的算术或逻辑操作的属性。
常用的条件码：
CF:进位标志
ZF:零标志
SF:符号标志
OF:溢出标志
常见指令：
LEAL：不改变条件码寄存器
XOR：进位标志和溢出标志会设置成0
INC：设置溢出和零标志
DEC：设置溢出和零标志
CMP：根据操作数之差设置条件码
SUB：设置条件码，更新寄存器
TEST：改变目的寄存器的值
2、访问条件码
常用使用方法：
（1）根据条件码的某个组合，将一个字节设置成0或1
（2）可以条件跳转到某个其他部分
（3）可以有条件的传送数据
（1）SET指令
通过set与不同的条件码的组合，达到不同的跳转条件。
3、跳转指令及其编码
JUMP指令，导致执行切换到程序中一个全新的位置。
注意：jump分为直接跳转和间接跳转
- 直接跳转：后面跟标号作为跳转目标
- 间接跳转：*后面跟一个操作数指示符
十、翻译条件分支
将条件表达式和语句从c语言翻译成机器语言，最常用的方式就是结合有条件和无条件跳转。
使用goto通常认为是一种不太好的风格。
十一、循环
1、do-while循环
汇编中，根据do-while形式产生循环代码
do-while语句的通用形式：
do
body-statement
while(test-expr);
可翻译成如下：
loop：
body-statement
t = test-expr;
if(t)
goto loop;
2、while循环
while语句的通用形式：
while (test-expr)
body-statement
GCC采用的方法，是使用条件分支，需要时省略循环体的第一次执行：：
if(！test-expr）
goto done;
do
body-statement
while(test-expr);
done:
接下来，这个代码可直接翻译成goto代码：
t = test-expr;
if(!t)
goto done:
loop：
body-statement
t = test-expr;
if(t)
goto loop;
done:
3、for循环
for循环的通用形式：
for(init-expr;test-expr;update-expr)
body-statement
汇编结构：
init-expr
t=test-expr;
if(!t)
goto done;
loop:
body-statement
update-expr;
t=test-expr;
if(t)
goto loop;
done:
4、switch语句
根据一个整数索引值进行多重分支，执行switch语句的关键步骤是通过跳转表来访问代码位置，使结构变得更加高效。
十二、过程
过程调用
-
进入时为过程的局部变量分配空间
-
将数据（以过程参数和返回值的形式）和控制从代码的一部分传递到另一部分。
-
退出时释放这些空间。
1、栈帧结构
-
IA32程序用程序栈来支持过程调用。
-
机器用栈来传递过程参数、存储返回信息、保存寄存器，以及本地存储。
2、转译控制
（1）call指令
-
目标是指明被调用过程起始的指令地址
-
效果是将返回地址入栈，并跳转到被调用过程的起始处。
（2）ret指令
-
从栈中弹出地址，并跳转到这个位置。
-
函数返回值存在%eax中
3、寄存器使用惯例
注意：保证当一个过程调用另一个过程时，被调用者不会覆盖某个调用者稍后会用的寄存器的值。
十三、应用：使用GDB调试器
关于栈帧的gdb命令：
1、backtrace/bt
打印当前的函数调用栈的所有信息。
n是一个正整数，表示只打印栈顶上n层的栈信息。
-n表一个负整数，表示只打印栈底下n层的栈信息。
2、frame
n为栈中的层编号，是一个从0开始的整数
比如：frame 0，表示栈顶，frame 1，表示栈的第二层。
该指令是移动到n指定的栈帧中去，并打印选中的栈的信息。
如果没有n，则打印当前帧的信息。
3、up
表示向栈顶移动n层
可以不打n，表示向上移动一层。
4、down
表示向栈底移动n层
可以不打n，表示向下移动一层。
