在运行时调试期间，Parasoft Insure++会在您自己的代码和第三方库中检查您所有的内存引用，包括对静态（全局），堆栈和共享内存的引用。

● 堆和堆栈内存损坏  

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

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

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

● 所有类型的内存分配以及可用的错误或不匹配  

● 所有类型的内存泄漏  

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

在编译时，Parasoft Insure++通过识别与C/C++标准的偏差来检测错误，这些偏差可能导致内存泄漏或应用程序不稳定。

● 指针转换失去精度  

● 格式规格不符  

● 参数类型不匹配  

● 代码未评估，无效或无法访问  

● 未定义的标识符  

● 已声明变量，但从未使用过  

● 返回指向局部变量的指针  

● 函数返回不一致的值  

● 未使用的变量

借助Parasoft Insure++的覆盖率分析，可以直观地识别哪些代码段已执行，哪些代码段未执行。此功能使用户可以专注于测试尚未使用的代码区域的用例。Insure++还可以向基本块添加“命中计数”，以显示每个块执行了多少次以检测令人惊讶的性能瓶颈。

软件开发人员可以获取实时数据的图形视图，这些数据涉及持续的内存使用情况和一段时间内的内存分配情况，并具有对整体堆使用情况，块分配，可能的未解决泄漏等的特定可见性。 如果某个块已泄漏，则可以查看分配堆栈跟踪以及发生泄漏的堆栈跟踪。监视堆的总体大小，并跟踪各种统计信息，例如分配和释放调用的数量。

Parasoft Insure++报告发现的任何问题。您获得的详细信息包括错误的类型，源文件和行号，实际的源代码行内容，引起问题的表达式以及有关该错误涉及的所有指针和内存块的信息。 软件开发人员还可以查看指针值，指向的内存块，块分配信息以及显示程序如何到达错误位置的堆栈跟踪。

大多数项目很大，并且包含多个文件。但是，有时您只需要调查其中的一些文件，以怀疑是否存在运行时违规情况。当Parasoft Insure++对您决定调查的单个文件进行检测时，便会完成此操作。然后可以将各个文件链接到非仪器可执行文件。这样可以以最小的努力在源代码级别上找到相关文件中的错误。