Parasoft insure++
运行时内存分析和错误检测发现软件缺陷
内存损坏、内存*、数组越界、无效指针等错误,通常在常规测试期间不会被发现,只会在实际使用中导致应用程序奔溃或安全漏洞。Insure++ 将帮助您快速、轻松的找到和清除缺陷。Insure++ 是一个针对C 和C++ 语言的运行时内存分析和错误检查工具,他能自动识别各种难以发现的编码、内存访问和安全错误,以内存使用中存在的潜在缺陷和低效的内存的使用。
在测试过程中,Insuer++ 在用户代码或第三方库中检查所有类型的内存引用,包括静态的(全局的)、堆栈和共享内存。
Insure++ 检测到错误包括:
• 损坏的堆栈内存
• 使用未初始化的变量和对象
• 在堆和栈上的数组和字符串越界错误
• 使用悬空、NULL和未初始化的指针
• 内存分配和释放错误或不匹配
• 所有类型的内存泄漏
• 全局声明、指针和函数调用中的类型不匹配
PARASOFT TCA® 总的覆盖率分析模块
TCA 分析并报告块代码覆盖率,并进一步让您直观地
看到程序的哪部分是实际被测试了和代码块执行了多
少次。
TCA 模块为Insure++ 提供了:
• 计算代码行和块覆盖率
• 报告代码行、块、类、函数和文件覆盖率
• 提供文本报告和带有覆盖率高亮显示的交互式代
码浏览器
PARASOFT INUSE® 应用程序的内存使用情况分析
Inuse 可视化应用程序如何使用内存,提供所有内存分配的图形视图,随着时间的推移,对整个堆的使用情况、块分配、可能的未处理的泄漏等,进行了具体的可见性。通过深入了解应用程序的内存使用模式Inuse 允许您有效地分析和优化运行时内存使用和性能。
Inuse 模块为Insure++ 提供了:
• 可视化内存泄漏
• 实时显示内存使用情况
• 帮助将内存使用与程序事件关联起来
行时内存使用和性能。
PARASOFT INSURE++ 的使用方式
Insure++ 的内存分析能力是基于专利的源码插装算法。源代码插桩使得Insure++ 能够检测出比其他内存错误检测技术检测更多的错误类型,并通过使用完整的程序元素和内存结构的数据库来提供完整的信息指明所发现错误的根源。
Insure++ 支持两种方法进行内存分析和错误检测。一种也是详细的分析是通过完整的源代码插桩来实现的。这要求使用Insure++ 对应用程序源代码进行编译和链接,从而生成自己插桩后的文件再传递给实际的编译器。
第二种方法是使用Insure++ 进行链接,其提供了一个用于权衡错误报告范围和构建、运行*桩后应用程序实际时间的机制。在这种模式下Insure++ 可以检测和报告大多数的错误类型,包括泄漏、错误内存引用、标准的API使用错误等等。
PARASOFT INSURE++ 功能
• 在堆和堆栈上发现内存损坏
• 检测未初始化的变量、指针和对象
• 发现内存泄漏和其他内存分配和释放错误
• 检查STL是否正确使用STL容器和相关的内存错误
• 编译时检查类型和大小相关的错误
• 函数调用的运行时跟踪
• GUI和命令行接口
• 在第三方静态和动态库中进行内存错误检查
• 提供Visual Studio调试器的直接接口
消除缺陷和内存问题
支持平台