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