《代碼安全實驗指導》
網絡空間安全重點規劃叢書- 圖書作者:
- 楊東曉、章磊、吳迪、司乾偉
- 出版商:
- 清華大學出版社
- 發行時間:
- 2020年08月01
內容簡介 CONTENT VALIDITY
《代碼安全實驗指導》為《代碼安全》一書的配套實驗教材。通過實踐教學，幫助學生理解和掌握C、C++、Java、PHP和Python語言中可能出現的安全漏洞，瞭解軟件開發過程中如果不採取規範和安全的編碼對系統造成的危害。培養學生養成規範和安全編碼的習慣，並能夠運用所學的技術和方法對企業軟件開發過程中典型的軟件安全問題進行安全分析、檢測和安全加固。
更多目錄 CONTENTS
第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