目 录 序 4 命名约定 6 某些背景 7 引言 8 第1章 假想的编译程序 12 第2章 自己设计并使用断言 20 第3章 为子系统设防 45 第4章 对程序进行逐条跟踪 68 第5章 糖果机界面 76 第6章 风险事业 92 第7章 编码中的假象 116 第8章 剩下来的就是态度问题 134 附录A 编码检查表 149 附录B 内存登录例程 152 附录C 练习答案 160 后记 走向何方 183