C/C++程序缺陷與優(yōu)化

目 錄
第1章 語(yǔ)言使用基本問(wèn)題 1
1．1 變量使用問(wèn)題 1
1．2 運(yùn)算符使用問(wèn)題 24
1．3 函數(shù)問(wèn)題 47
1．4 條件語(yǔ)句問(wèn)題 57
1．5 循環(huán)語(yǔ)句問(wèn)題 64
1．6 數(shù)值類(lèi)型轉(zhuǎn)換問(wèn)題 67
第2章 內(nèi)存管理 85
2．1 內(nèi)存分配與使用 87
2．2 內(nèi)存泄漏 96
第3章 緩沖區(qū)溢出 118
3．1 數(shù)組越界 119
3．2 數(shù)據(jù)越界 124
3．3 字符串操作溢出 125
第4章 指針問(wèn)題 141
4．1 空指針解引用 142
4．2 指針?lè)欠ㄊ褂?148
第5章 安全缺陷 158
5．1 外部輸入安全缺陷 158
5．2 資源泄漏 162
5．3 其他 169

第6章 與類(lèi)有關(guān)的編程缺陷 174
第7章 其他 208
7．1 預(yù)處理 208
7．2 異常 215
7．3 多線程和同步性 226
7．4 代碼不可達(dá) 229
附錄A 常用靜態(tài)分析工具 234
A．1 PolySpace――運(yùn)行時(shí)錯(cuò)誤靜態(tài)檢查工具 234
A．1．1 PolySpace Verifier 235
A．1．2 PolySpace Viewer 238
A．2 Klocwork――代碼靜態(tài)檢查工具 240
A．2．1 工程創(chuàng)建與分析 241
A．2．2 分析結(jié)果查看 244
A．3 Testbed――靜態(tài)和動(dòng)態(tài)測(cè)試工具 250
A．3．1 單個(gè)文件分析 251
A．3．2 分析結(jié)果查看 254
A．3．3 多個(gè)文件批量分析 263
A．4 McCabe IQ2――軟件質(zhì)量保證工具 265
A．4．1 McCabe EQ 265
A．4．2 McCabe Test 272
A．4．3 McCabe Reengineer 273
參考文獻(xiàn) 274