Parasoft Insure++

• Insure++是针对C和C++的运行时内存分析和错误检测的工具，它可以自动识别各种难以发现的编译、内存访问和安全错误，以及内存使用中的潜在缺陷和效率问题。
• 通过运行时内存分析和错误检测找到真正的BUG,诸如内存损坏、内存泄漏、数组越界访问、无效指针等错误，在常规测试中常常未被检测到，结果导致应用程序崩溃或安全漏洞。Insure++将帮助您快速、轻松地发现和消除这些缺陷。

• 在测试过程中，Insure++会检查所有类型的内存引用，包括对用户代码和第三方库中的（全局）静态、堆栈和共享内存的引用。

• 运行时错误检测

  检测到的问题包括：

  » 已损坏的堆和栈

  » 使用未初始化的变量和对象

  » 数组和字符串在堆和栈上的溢出问题

  » 使用悬垂指针、空指针和未初始化的指针

  » 内存分配和不匹配错误

  » 内存泄漏

  » 全局声明、指针和函数调用中的类型不匹配

 

编译时错误检测 

检测到的问题包括：

» 指针强制转换会丢失精度

» 格式规范不匹配

» 参数类型不匹配

» 未执行代码、无效果代码，无法访问代码

» 未定义的标识符

» 变量已声明，但未使用

» 返回指针指向局部变量

» 函数返回不一致的值

» 未使用的变量