Subnavigation
代码缺陷分析
检查源代码是否存在可能的运行时错误
Axivion Static Code Analysis 的代码缺陷分析会检查源代码是否存在潜在的运行时错误。分析包括可扩展数据和控制流检查。这样就能在软件开发的早期阶段检测出诸如越界访问或除零等错误。
内存和指针
- 空指针解引用
- 局部变量地址逃逸
- new/malloc分配内存后没有delete/free导致内存泄漏
- 资源分配/释放不匹配
- 同时用于读写的资源
- 资源禁止操作
- 双重释放/释放后使用
- 比较指针/减去无关指针
- 数组访问越界
- 缓冲区溢出
- 副作用
- 数据污染分析
- 竞态条件分析
异常
- 堆栈展开过程中的异常
- 违反异常规范
- 未捕获的异常
- 无效catch块
数值错误
- 除零运算
- 算术运算溢出
- enum类型变量赋值错误
逻辑错误和自定义规则
- 禁止参数值
- 未初始化变量
- 未使用的定义
- 常数条件
