Parasoft Insure++ v7.06 (C/C++自动检测):
Insure++使用一整套独特的专利技术，包括突变测试（Mutation Testing），对代码进行从内到外的检查和测试，然后精确地报告相关的错误以及它们的准确位置。Insure++还能执行覆盖性分析，清楚地指示那些代码已经测试过。将Insure++集成到您的开发环境中，能够极大地减少调试时间并有效地防止错误。价格不菲：和C++Test一起买需近1.2w$！

官方网址：http://www.parasoft.com/
Insure ++是一个针对C/C++应用的运行时错误自动检测工具，它能够自动监测我们的C/C++程序，发现其中存在着的内存破坏、内存泄漏、指针错误和I/O等错误。并通过使用一系列独特的技术（SCI技术和变异测试等），彻底的检查和测试我们的代码，精确定位错误的准确位置并给出详细的诊断信息。Insure ++能够可视化实时内存操作，优化内存算法。Insure++还能执行覆盖性分析，清楚地指示那些代码已经测试过。将Insure++集成到您的开发环境中，能够极大地减少调试时间并有效地防止错误。
二. 特性
· 检测众多不同类型的难以捉摸的错误，如内存破坏、内存泄露、内存分配错误、变量初始化错误、变量定义冲突、指针错误、库错误、逻辑错误和算法错误等等
· 精确定位引起内存泄露的代码位置，不仅是泄露的内存位置
· 支持所有流行的编译器，如cc、gcc和acc等等
· 能够检查第三方库和函数以及非C语言所写的模块接口
· 允许您在快速有选择的检查和完全插装检查之间进行切换
· 发现大量的C++错误
三. 好处
· 大量减少调试时间
· 减少软件缺陷提高产品信誉
· 降低维护和支持成本
· 经常使用能够帮助您排除算法错误
· 支持多平台和跨平台开发
· 能够与您的开发生命周期无缝集成

美国着名软件公司Parasoft产品Insure++软件介绍

要发现内存泄露和运行时错误是一件非常困难的事情，常常会耗费您几周甚至数月的时间去追捕它们。Insure++自动检测C/C++应用中大量的编程和运行时错误。通过使用一系列独特的技术（如变异测试等），Insure++彻底检查和测试代码，精确定位错误的准确位置并给出详细的诊断信息。Insure+ +能够可视化实时内存操作，优化内存算法。Insure++还能执行覆盖性分析，清楚地指示那些代码已经测试过。将Insure++集成到您的开发环境中，能够极大地减少调试时间并有效地防止错误。
Insure++有两种运行模式。监护模式让您快速检测代码中的错误，不需要对代码作任何插装和处理；源码插装模式帮助您彻底地检测代码。

1 特性
检测众多不同类型的难以捉摸的错误，如内存破坏、内存泄露、内存分配错误、变量初始化错误、变量定义冲突、指针错误、库错误、逻辑错误和算法错误等等精确定位引起内存泄露的代码位置，不仅是泄露的内存位置支持所有流行的编译器，如cc、gcc和acc等等
能够检查第三方库和函数以及非C语言所写的模块接口
允许您在快速有选择的检查和完全插装检查之间进行切换
发现大量的C++错误

2 好处
大量减少调试时间
减少软件缺陷提高产品信誉
降低维护和支持成本
经常使用能够帮助您排除算法错误
支持多平台和跨平台开发
能够与您的开发生命周期无缝集成