静态链接分析展示了链接过程。a.c引用了b.c中的变量和函数，编译后符号为UND。链接后，符号合并生成可执行文件，并进行段偏移和虚拟地址计算，确保符号地址正确。静态链接的两大步骤为：合并段和重定位符号引用。