沿程序真实运行路径学习信息表示与机器边界，始终区分抽象接口、实现状态和可观测证据。
7 讲沿程序真实运行路径学习C程序的内存模型，始终区分抽象接口、实现状态和可观测证据。
7 讲沿程序真实运行路径学习从源代码到可执行文件，始终区分抽象接口、实现状态和可观测证据。
7 讲沿程序真实运行路径学习ISA、汇编与过程调用，始终区分抽象接口、实现状态和可观测证据。
7 讲沿程序真实运行路径学习处理器怎样执行指令，始终区分抽象接口、实现状态和可观测证据。
7 讲沿程序真实运行路径学习Cache与存储层次，始终区分抽象接口、实现状态和可观测证据。
7 讲沿程序真实运行路径学习虚拟内存与地址空间，始终区分抽象接口、实现状态和可观测证据。
7 讲沿程序真实运行路径学习异常、进程与内核边界，始终区分抽象接口、实现状态和可观测证据。
7 讲沿程序真实运行路径学习I/O、文件与持久化，始终区分抽象接口、实现状态和可观测证据。
7 讲沿程序真实运行路径学习并发、原子性与内存顺序，始终区分抽象接口、实现状态和可观测证据。
7 讲沿程序真实运行路径学习网络路径与分布边界，始终区分抽象接口、实现状态和可观测证据。
7 讲沿程序真实运行路径学习跨层性能、可靠性与答辩，始终区分抽象接口、实现状态和可观测证据。
7 讲