文档信息
前言
1. 简介
2. 收集数据和启动代码分析器
A. 代码分析器分析的错误
静态代码问题
动态内存访问问题
代码覆盖问题
索引
静态代码检查可查找以下类型的错误:
ABR:数组越界读
ABW:数组越界写
DFM:双重释放内存
ECV:显式强制类型转换违规
FMR:读取释放的内存
FMW:写入释放的内存
INF:无限空循环
内存泄漏
MF:返回缺少的函数
MRC:缺少 malloc 返回值检查
NFR:返回未初始化的函数
NUL:NULL 指针解除引用,泄漏指针检查
RFM:返回释放的内存
UMR:未初始化的内存读取,未初始化的内存读取位操作
URV:未使用的返回值
VES:超出范围的局部变量使用