60、代码验证检查与分析全解析

代码验证检查与分析全解析

1. 代码检查类型概述

在代码开发过程中，对代码进行全面检查以确保其质量和稳定性至关重要。以下是一些常见的代码检查类型及其详细信息：
| 检查类型 | 检查内容 | 详细说明 |
| — | — | — |
| 溢出检查 | 回顾代码中导致操作溢出的先前操作 | 可参考“Review and Fix Overflow Checks” |
| 静态内存检查 | - 绝对地址使用：回顾代码中绝对地址的使用并确保其有效性
- 非法解引用指针：回顾导致指针指向其分配内存缓冲区之外的先前操作
- 数组越界索引：回顾导致数组索引大于或等于数组大小的先前操作 | - 绝对地址使用可参考“Review and Fix Absolute Address Usage Checks”
- 非法解引用指针可参考“Review and Fix Illegally Dereferenced Pointer Checks”
- 数组越界索引可参考“Review and Fix Out of Bounds Array Index Checks” |
| 控制流检查 | - 非终止调用：回顾函数体中的操作，找出因当前函数调用特定问题而发生的运行时错误
- 非终止循环：回顾循环中的操作，确定循环不终止或在某一次循环运行中发生确定运行时错误的原因 | - 非终止调用可参考“Review and Fix Non-Terminating Call Checks”
- 非终止循环可参考“Review and Fix Non-Terminating Loop Checks” |
| C++ 检查 | - 无效的 C++