静态代码问题

静态代码检查可查找以下类型的错误：

• ABR：数组越界读

• ABW：数组越界写

• DFM：双重释放内存

• ECV：显式强制类型转换违规

• FMR：读取释放的内存

• FMW：写入释放的内存

• INF：无限空循环

• MLK：内存泄漏

• MFR：缺少函数返回值

• MRC：缺少 malloc 返回值检查

• NFR：返回未初始化的函数

• NUL：NULL 指针解除引用，泄漏指针检查

• RFM：返回释放的内存

• UMR：读取未初始化的内存。未初始化的内存读取位操作

• URV：未使用的返回值

• VES：超出范围的局部变量使用