Parasoft Insure++, C和C++运行时分析和内存错误检测

Insure++ 是一个针对 C/C++应用的运行时错误自动检测工具，可以自动识别各种难以跟踪编程和内存访问错误，以及潜在的缺陷和效率低下的内存使用情况。错误，如内存破坏，内存泄漏，访问数组边界之外的，无效的指针，往往不易被正常的测试过程中，只有在该领域导致应用程序崩溃等。Insure++将帮助您发现并消除缺陷在您的应用程序的内存使用情况，以确保完整。

Insure++ 通过使用一系列独特的技术（如源码插装等），彻底检查和测试代码，精确定位错误的准确位置并给出详细的诊断信息。Insure++ 能够可视化实时内存操作，优化内存算法。Insure++ 还能执行覆盖性分析，清楚地指示那些代码已经测试过。

在测试过程中，Insure++检查所有类型的内存引用，其中包括那些为静态（全局），堆栈，和共享内存 - 无论是在用户的代码和第三方库。Insure++检测的错误包括：

损坏的堆和栈内存

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

数组和字符串堆和栈的边界上的错误

NULL，使用和未初始化的指针

所有类型的内存分配和释放错误或不匹配

所有类型的内存泄漏

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

有些死代码（编译时）

 

Parasoft公司的客户，其中包括“财富”500强中的58％，依靠Insure++可以：

精确定位和消除不稳定的运行时行为的原因，如神秘的崩溃和挂起

暴露严重的缺陷，回避