Parasoft Insure++ by Parasoft Corporation

7.44 - What's this?

Parasoft Insure++ is an automated runtime application-testing product that detects elusive C/C++ errors such as memory corruption, memory leaks, memory allocation errors, variable initialization errors, variable definition conflicts, pointer errors, library errors, I/O errors, and logic errors. During compilation, Insure++ reads and analyzes the source code. It then inserts test and analysis functions around every source code line. Insure++ builds a database of all program elements. At runtime, Insure++ checks each data value and memory reference against its database to verify consistency and correctness. Insure++ verifies all types of memory references, including those to static (global), stack, and shared memory. It can find memory corruption and memory leaks as well as any errors that allocate and free dynamic memory. Insure++ also checks third-party libraries and functions. Testing with Insure++ can uncover such errors as string manipulation, operations on uninitialized pointers, operations on pointers to unrelated data blocks, invalid pointer operations, incompatible variable declarations, and mismatched variable types.

Screen Shot 1Screen Shot 2Screen Shot 3
Click on an image to view a larger version.

Features

  • » Patented Source Code Instrumentation provides more thorough error detection than Object Code Instrumentation (OCI).
  • » Leveraged techniques from traditional Mutation Testing uncover ambiguities that are difficult to detect through other methods or products.
  • » Chaperon™ technology (Linux x86 only) allows for quicker testing. It checks all types of memory references and third-party libraries and functions.
  • » Database of program elements to compare values against at runtime verifies consistency and correctness.
  • » Support for popular compilers.
French, Polish, Japanese, English

Supported Technologies

HP/UX, Solaris/Sun OS, Linux, Windows XP/2000/NT
Software
Click on a technology to view similar products within this category.

Pricing

- Unspecified -
sales@parasoft.com
888-305-0041



Resources

Insure++ Data Sheet
Product Review
LinuxWorld Magazine's Product Review of Insure++ 7.0: Insure++ checks the validity of each memory r...

Additional software product description, benefits, features, and uses.

Additional Product Information


Search within this category