支持缺陷检测类型

本产品内置40多种代码缺陷检测器,支持对以下多种类型缺陷的检测:

  • 缓冲区类,如缓冲区越界读写等问题

  • 指针问题,如空指针引用、指针多次释放等问题

  • 数值计算或转化类,如数值除零、整型溢出等问题

  • 资源管理问题,如内存泄露、使用未初始化资源等

  • API使用类,如使用不安全API、关键函数调用后未检测返回值等

  • 杂项类,如死代码、无效控制条件语句等问题