主要内容

缺陷

缺陷的描述和示例

一个Polyspace®Bug Finder™缺陷是标识特定编码错误或漏洞的分析结果。使用这些类别的缺陷来了解您的结果。

类别

  • 数值缺陷
    数值编码错误的缺陷,按零除法,类型转换和负偏移操作,数学标准库
  • 静态内存缺陷
    静态内存编码错误的缺陷,界限数组,空指针,标准内存和字符串库
  • 动态内存缺陷
    动态内存编码错误,释放指针,内存泄漏,不受保护的内存的缺陷
  • 编程缺陷
    编程编码错误,分配与平等运算符,类型不匹配,环绕式,字符串数组的缺陷
  • 数据流缺陷
    数据流编码错误,无法到达的代码,非原始化,丢失的返回语句的缺陷,无用的写入
  • 安全缺陷
    与安全弱点和漏洞有关的缺陷
  • 加密缺陷
    与不正确使用OpenSSL密码术相关的缺陷
  • 污染的数据缺陷
    与不安全源的代码元素相关的缺陷
  • 并发缺陷
    与多任务代码相关的缺陷
  • 面向对象的缺陷
    与C ++面向对象的编程有关的缺陷,例如类设计问题或继承层次结构中的问题
  • 资源管理缺陷
    与资源处理有关的缺陷,例如未封闭的文件流或使用封闭文件流
  • C ++异常缺陷
    与C ++异常有关的缺陷及其处理,例如在noexcept功能或意外例外陈述
  • 性能缺陷
    影响C ++代码的性能的缺陷
  • 良好的实践缺陷
    允许您观察良好的编码实践的缺陷,例如检测硬编码的内存缓冲区大小或未使用的功能参数