说明：  第1章 假想的编译程序 第2章 自己设计并使用断言 第3章 为子系统设防 第4章 对程序进行逐条跟踪 第5章 糖果机界面 第6章 风险事业 第7章 编码中的假象 第8章 剩下来的就是态度问题
(Chapter 1 hypothetical compiler designed in Chapter 2 and Chapter 3 the use of assertions for the security subsystem in Chapter 4 of the procedures one by one follow-up Chapter 5 candy machine interface cause Chapter 6 the risk of Chapter 7 of the illusion of encoding the first 8 Chapter remaining problem is the attitude)