保险++ swMATH ID: 10058 软件作者： Parasoft公司 描述： C和C++的运行时分析和内存错误检测：Parasoft®Insure++®可识别难以跟踪的编程和内存访问错误，如内存损坏、内存泄漏、数组边界外的访问、无效指针等，以确保应用程序内存使用的完整性。 主页： http://www.paras.com/insure网站 相关软件： Valgrind公司；GDB公司；CCured公司；旋风 引用于： 1文件 2位作者引用 1 苏珊·霍维茨 1 Yong、Suan Xi 连载1篇 1 系统设计中的形式化方法 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文