从一个真正能运行的 Linux 程序出发，追踪 call 指令里的四个字节：输入节偏移如何变成 P，CPU 为什么从下一条指令算起，S+A-P 又如何落成机器码。再逐步进入负位移、绝对指针、不同加数、溢出和链接期指令改写。

先选择跨文件的全局定义，再绑定实际引用；保持局部身份、弱定义顺序和 COMMON 的大小与对齐要求，不在解析阶段分配地址。

从一个能独立运行的加法程序开始，亲手制造缺失定义、重复定义和库顺序错误。沿着“谁需要、谁提供、提供者是否进入链接”理解符号解析，再讨论弱定义、common、类型检查与 C++ 的边界。

解码符号和显式加数重定位，建立字符串表、符号表与被修补节之间的归属关系，保留后续选择与布局所需信息。

从一个 main.c、一个 add.c 和一份手写汇编出发，看汇编器怎样按伪指令把字节摆进各个节，再用 llvm-objdump 和几十行 Python 一个字节一个字节拆开 ELF 目标文件：ELF 头、节头表、程序头表、节的类型与标志、符号表、机器码里留下的零字节和重定位表。

解码节头、借用文件内容并解析节名，让后续阶段使用带名字的 Section，而不是重复读取原始字段。

从 1949 年 EDSAC 的子程序库讲起，沿着"一个问题催生一个发明"的线索，看重定位、汇编器、目标文件、ELF、共享库、DWARF、.eh_frame、COMDAT、可执行栈标记和四代链接器是怎么一个接一个出现的，以及它们怎样把链接器推到今天的位置。

检查字节范围、支持的 ELF64 头和节头索引，为后续解析建立不会溢出或越界的输入边界。