CSAPP-程序的机器级表示

文章目录

- - 概念扫盲
  - 思想理解
  - 经典好图
  - 安全事件

概念扫盲

1.汇编代码使用文本格式，相较于汇编的二进制可读性更好
2.程序内存包括：可执行的机器代码、操作系统需要的信息、管理过程调用和返回的运行时栈、用户分配的内存块
3.链接器为函数调用找到匹配的可执行代码的位置
4.x86-64中传送指令不能都指向内存位置
5.x86-64中任何寄存器生成的32位值的指令都会把该寄存器的高位设置为0
6.cltq指令将%eax符号扩展到%rax的所有位中
7.乘法指令的参数一个由源操作数给出，一个放在%rdx中。结果存放在%rdx和%rax中
8.有符号除法指令idivl将寄存器%rdx（高64）和%rax（低64）中的128位作为被除数，除数作为指令的操作数给出。商存储在寄存器%rax中，余数存储在%rdx中
9.SIMD（单指令多数据），允许多个操作以并行模式执行
10.指针NULL表示指针没有指向任何地方
11.蠕虫可以自己运行并且将等效副本传播，病毒是添加到操作系统在内的程序中，不能独立运行
12.安全单一化指许多系统容易受到同一种病毒的攻击
13.ASLR（地址空间布局随机化-Address-Space Layout Randomization）每次程序运行时各部分加载到不同区域，可以被穷举攻击（nop sled）
14.canary值，来自金丝雀在矿洞中察觉有毒气体。用于检测栈是否被破坏，即哨兵值
15.所有XMM寄存器都是调用者保存，被调用可以随意覆盖这些寄存器
16.函数参数指针和整数通过寄存器传递，浮点值通过XMM寄存器传递。参数到寄存器的映射取决于类型和排列顺序

思想理解

1.C预处理器扩展源码（include指定文件，扩展define声明的宏），编译器产生汇编，汇编产生目标文件（所有指令的二进制表示，无全局地址），连接器将代码与实现库函数合产生可执行文件
2.反汇编器只是基于机器代码文件中的字节序列来确定汇编代码，不需要访问源代码或者汇编代码
3.x86-64中内存引用总是以四字长的寄存器给出，哪怕只是一字节
4.当switch语句情况数量比较多且范围跨度较小时使用跳转表
5.栈调用通过寄存器最多传递6个整数值，更多参数可以由调用者在自身栈帧存储
6.PC相对寻址是相对本身地址的后面一条指令进行的
7.一个联合的总大小等于它最大字段的大小，将互斥的字段声明为联合可以减少空间的使用
8.奇偶校标志位断最近一次算数逻辑运算产生值的最低位字节是否有偶数个一。在浮点数比较时可以判断是否有操作数是NaN