全面介紹代碼安全實踐，內容由淺入深，通俗易懂，典型案例分析詳盡，立體化教學資源豐富。本書以奇安信代碼衛士和代碼安全保障繫統為基礎教學平臺，通過實踐教學，讓學生理解和掌握C、C++、Java、PHP和Python語言中可能出現的安全漏洞；理解軟件開發過程中如果不采取規範和安全的編碼對繫統造成的危害。培養學生養成規範和安全編碼的習慣，並能夠運用所學的技術和方法對企業軟件開發過程中典型的軟件安全問題進行安全分析、檢測和安全加固。

●第1章代碼安全保障繫統基本配置1
1.1繫統設置1
1.2模塊管理7
1.2.1代碼安全保障繫統用戶管理實驗7
1.2.2代碼安全保障繫統檢測模板管理實驗15
1.2.3代碼安全保障繫統日志管理實驗22
1.2.4代碼安全保障繫統引擎管理實驗26
第2章代碼安全保障繫統缺陷檢測32
2.1C/C++缺陷檢測32
2.1.1代碼釋放後使用缺陷檢測實驗32
2.1.2代碼返回棧地址缺陷檢測實驗44
2.1.3空指針解引用缺陷檢測實驗48
2.1.4代碼越界訪問缺陷檢測實驗53
2.1.5無符號整數回繞缺陷檢測實驗58
2.1.6字符串缺少終止符缺陷檢測實驗62
2.1.7代碼在scanf函數中沒有對%s格式符進行寬度缺陷檢測實驗67
2.1.8緩衝區下溢缺陷檢測實驗73
2.1.9解引用未初始化的指針代碼缺陷檢測實驗78
2.1.10sizeof操作符獲取數組長度缺陷檢測實驗83
2.1.11寬窄字符串及其操作函數混淆缺陷檢測實驗87
2.1.12代碼強制終止執行缺陷檢測實驗92
2.2PHP缺陷檢測97
2.2.1命令注入缺陷檢測實驗97
2.2.2SQL注入缺陷檢測實驗102
2.2.3存儲型XSS缺陷檢測實驗106
2.2.4反射型XSS缺陷檢測實驗110
2.2.5重定向缺陷檢測實驗115
2.2.6路徑遍歷缺陷檢測實驗119代碼安全實驗指導目錄2.2.7動態解析代碼缺陷檢測實驗123
2.2.8不安全的哈希算法缺陷檢測實驗126
2.2.9XPath注入缺陷檢測實驗130
2.2.10硬編碼密碼缺陷檢測實驗134
2.3Java缺陷檢測141
第3章代碼安全保障繫統合規檢測146
3.1C/C++合規檢測146
3.1.1對環境變量的長度進行假設合規檢測實驗146
3.1.2檢測並處理庫函數中的錯誤合規檢測實驗151
3.1.3較大長度的值比較或賦值合規檢測實驗155
3.1.4代碼在free()之後立即在指針中存儲一個新值合規檢測實驗160
3.1.5代碼隻釋放動態分配的內存合規檢測實驗164
3.1.6代碼控制流合規檢測實驗169
3.1.7字符串存儲空間合規檢測實驗174
3.2Java合規檢測179
3.2.1代碼重用Java標準庫已經公開的標識符合規檢測實驗179
3.2.2代碼使用Object.equals()方法來比較兩個數組合規檢測實驗183
3.2.3代碼使用相等操作符比較封裝的基礎數據類型合規檢測實驗187
3.2.4代碼使用浮點數變量作為循環計數器合規檢測實驗190
3.2.5代碼捕獲NullPointerException或者任何它的基類合規檢測實驗…195
3.2.6代碼實例鎖的使用合規檢測實驗198
3.2.7代碼在循環中調用wait()和await()方法合規檢測實驗202
3.2.8代碼從流中讀取的字符（或字節）和-1的區別合規檢測實驗206
3.2.9代碼空無限循環合規檢測實驗209
3.2.10代碼析構函數合規檢測實驗214
第4章代碼安全保障繫統發起檢測任務218
4.1發起C/C++檢測任務218
4.1.1C語言缺陷檢測任務實驗218
4.1.2C語言合規檢測任務實驗222
4.1.3C#語言缺陷檢測任務實驗225
4.2發起PHP檢測任務229
4.2.1PHP語言缺陷檢測任務實驗229
4.2.2代碼安全保障繫統發起持續任務檢測實驗231
4.2.3代碼安全保障繫統發起項目裡程碑檢測實驗240
4.3發起Java&Python檢測任務247
4.3.1Java語言缺陷檢測任務實驗247
4.3.2Java語言自定義檢測模板缺陷檢測任務實驗251
4.3.3Java語言基於maven構建的檢測任務實驗255
4.3.4Java語言基於gradle構建的檢測任務實驗258
4.3.5Java語言合規檢測任務實驗260
4.3.6溯源檢測任務實驗262
4.3.7Python語言缺陷檢測任務實驗264
第5章代碼安全保障繫統檢測結果審計267
5.1檢測結果分析267
5.1.1代碼安全保障繫統檢測結果審計實驗267
5.1.2代碼安全保障繫統檢測結果mybug統計實驗270
5.1.3代碼安全保障繫統檢測結果統計分析實驗274
5.2檢測結果管理277
5.2.1代碼安全保障繫統審計信息攜帶實驗277
5.2.2代碼安全保障繫統導出檢測結果實驗281

本書為"代碼安全"課程的實驗教材。全書分為5章，主要內容包括代碼安全保障繫統基本配置、代碼安全保障繫統缺陷檢測、代碼安全保障繫統合規檢測、代碼安全保障繫統發起檢測任務，以及代碼安全保障繫統檢測結果審計。本書由奇安信集團針對高校網絡空間安全專業的教學規劃組織編寫，既可以作為高校信息安全、網絡空間安全等相關專業的教材，及網絡工程、計箄機技術應用培訓教材，也可以作為網絡管理人員及對計算機網絡、網絡空間安全感興趣的讀者的基礎讀物。

楊東曉 等 編