内存分析和错误检测工具

1、K关键科技内存分析和错误检测工具lnsure+【内存分析和错误检测工具In sure+简介】Insure+ 是专用于C和C+语言的运行时内存分析和错误检测工具，它能自动识别多种难于跟踪的编程和内存访问错误，并定位内存使用方面的潜在缺陷和效率低下等问题。诸如内存误操作，内存泄露，数组访问越界，无效指针和其它通过常规测试手段难以发现，却在运行时导 致应用程序崩溃的诸多问题，In sure+ 均能帮助你找到并消除这些程序中的缺陷，保证内存使用的完整性。在测试过程中，In sure+会在用户代码和第三方库中检查所有的内存引用，包括静态（全局）内存 ，栈 内存和共享内存。In sure+ 能检测到的错误

2、包括： 堆栈崩溃 使用未初始化的变量或对象 堆栈中的数组越界、字符串越界使用悬挂指针、无效指针和未初始化指针所有内存分配和释放问题，包括不匹配问 题:网制rInsure 所有的内存泄漏全局声明，指针和函数访问的类型不匹配 错误部分无用代码（编译过程中）【In sure+的主要功能】? Breakthrough tech no logies （代码走查）在代码编译时，In sure+ 会在原始代码里的第一个代码行中加入测试和分析的功能函数， 它可以建立程序元素的资料库，在Ru ntime 时检查每一个资料值和存储器的参考文献，是否会让这个资料库的元素发生错误，以此检查正确性和一致性。Chaper

3、on（ForLinux）是可以不需要重新编译或重新连结的，让Insure+ 检查错误的方法，它可以快速、准确的分析复杂的错误。?Mutatio n test ing这是Insure+强而有力的方式，Mutation testing 是可以让那些遗留在代码里的细微不明显的错误完全暴露出来的一种测试流程。? Errors foundInsure+可检查所有类型的存储器问题，不管是Static, Stack或Shared的存储器问题；也可以检查同厂商的函数库和功能，是否发生问题。?In useIn use是In sure+中，可让你以图形化界面去观察存储器中程序的配置和释放动态存储块，让你了解存储块

4、的使用状况，进一步去最佳化存储器的工具。K关键科技? TCATCA是Insure+ 中显示Coverage 分析的工具，让你了解在测试中，有哪些代码、功能 和状态被扫行，了解测试的品质。【In sure+的主要特点】在内存错误成为运行时的问题之前就发现这些问题：? 查找移植64位过程中常见错误? 帮助用户优化应用程序的内存使用? 减少开发和用户支持成本? 同回归测试的“ smoke alarm模式进行方便地集成? 提供详尽的栈执行路径信息帮助理解问题根源【In sure+支持的平台】支持的平台：? MicrosoftWindows2000/XP/200332-bit （Insure+ 作为 Visual C+ 的插件）? Microsoft Visual C+ 6.0/C+ .NET/C+ .NET 2003/C+ .NET 2005? MicrosoftWindows XP/2003 64-bit （Insure+ 作为 Visual C+ 的插件）? Microsoft Visual C+ .NET 2005? Linux环境下x86平台的32位处理器（所有Linux发布版本）? Linux环境下AMD64和Intel EM64T 64 位处理器（所有Linux发布版本）? IBM AIX 5.1