Morning Edition
星期日, 二月 15, 2026

折鸦夜明け前

我们的同志在困难的时候，要看到成绩，要看到光明，要提高我们的勇气。

组成原理

CSAPP3e第二章(整数的表示)

整数的表示(第二章 Part1)

博客还没装 Mathjax 插件，所以下面的 \(\LaTeX\) 应该都是乱的 已修

整数表示

这一段如果没有目的和顺序地硬看会觉得关系很多很复杂，但其实只要按照一定的目的和顺序结构就会很清晰。

以设计者的视角思考如何设计

如果我们是设计用二进制表示整数的人，我们需要如何表示二进制？

利用 \(w\) 位二进制的最高位 $ x_{w-1} $ 为 \(1\) 代表这个数是负数，剩下的部分正常用二进制表示即 \(\displaystyle\sum_{i=0}^{w-2}x_i\cdot2^i\)

但显然光表示是完全不够的，我们还需要运算，而符号位由于不对具体数值做贡献，会导致运算错误。 因此我们需要让符号位也代表数值，用另一种映射方式计算，于是我们令最高位的符号位具有负的权重 \(-x_{w-1} \cdot 2^{w-1}\)，这样符号位也参与了计算。但是这样数值又对不上了，因此我们需要把后面的位也变一下。由于我们不是真的设计师，所以我们直接看答案：取反后面的每一位后再 +1。例如10010除符号位取反后变为11101， +1后是11110。这样的表示方法计算出的数值是 \(-x_{w-1}\cdot2^{w-1}+\displaystyle\sum_{i=0}^{w-2}x_i\cdot2^i\) 如何论证这样的数值是”对”的呢？

组成原理

CSAPP Attack Lab 笔记

Phase 0x1

一个练手的，要求通过缓冲区栈溢出攻击来调用 touch1

gdb ctarget 然后 set args -q 防止与不存在的服务器通信（run -q 也可以) b Gets run -q

看一下栈信息:

1
2
3
4
5
6
7
────────────────────────[ STACK ]────────────────────────
00:0000│ rsp 0x5561dc70 —▸ 0x4017b4 (getbuf+12) ◂— movl $1, %eax
01:0008│ rdi 0x5561dc78 ◂— 0
... ↓        3 skipped
05:0028│     0x5561dc98 —▸ 0x55586000 ◂— 0
06:0030│     0x5561dca0 —▸ 0x401976 (test+14) ◂— movl %eax, %edx
07:0038│     0x5561dca8 —▸ 0x55685fe8 —▸ 0x402fa5 ◂— pushq $0x3a6971 /* 'hqi:' */
组成原理

CSAPP Bomb Lab 达成

这是我第一个完成的 lab, 这篇博客其实是边做边记的解决过程改的, 所以比较简略, 其他 Lab 的记录博客会详细一点, 这篇博客以后有时间也会补充

Phase 0x1

Border relations with Canada have never been better. 根据调用约定, gdb 直接读 phase_1() 的 $rdi 即可.

Phase 0x2

1 2 4 8 16 32 利用断点跳到 read_six_number 后, 发现核心代码 add %eax %eax, 即不断 \(\times 2\)

Phase 0x3

5 206 rsp+8, rsp+12 分别是输入的两个数, int 占四字节.

发现一堆 mov, jmp, 里只有第五个的差能整除 \(8\) 并且 mov 过去的值是 206

(最后几行是核心代码 cmp 0xc(%rsp), %eax)

杂谈

换了个 OpenSUSE 玩玩

此文章的 撰写时间 可能有误

upd 2024-10-02 22:56:57
第一次用感觉还行，后来高三又从win换回opensuse,感觉挺垃圾的
今天太晚了等明天把我那篇批判的文章迁移过来

更换到了openSUSE

一直在考虑是否要换个linux玩玩。 自从10月1日（其实是10月2日凌晨）装好了manjaro 我就没停过折腾这玩意。

1…3456