目录序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序………………………………………………………………………………Ⅰ某些背景………………………………………………………………………Ⅲ命名约定………………………………………………………………………Ⅳ引