Insure ++ from ParaSoft Corporation

Insure++ is an automatic runtime error detection tool for C and C++ programming. Insure++ detects errors, which may not be found by your conventional compiler/debugger. Insure++ pinpoints bugs quickly, then provides all the information necessary to repair the bug.

It has three parts:

Insight:
Insight automatically detects a wide variety of programming and memory access run-time errors including:
- Memory corruption due to reading or writing beyond the valid areas of global, local, shared, and dynamically allocated objects.
- Operations on uninitialized, NULL, or "wild" pointers.
- Memory leaks.
- Errors allocating and freeing dynamic memory.
- String manipulation errors.
- Operations on pointers to unrelated data blocks.
- Invalid pointer operations.
- Incompatible variable declarations.
- Mismatched variable types in printf and scanf argument lists.
- ...
Inuse:
Inuse visualizes in real-time the memory manipulation of your program, helping developers spot bugs and inefficiencies in memory handling.
TCA:
TCA also performs coverage analysis of programs, providing necessary feedback to programmers about which parts of the code were actually tested.

How to use it (on d0chb):
> setup insure
> insight -Zvm +K0 -o mycode mycode.cpp
It will pop a window display all errors in your program. If you want to use KAI compiler, you need to put the following lines:

compiler KCC

insure++.compiler KCC

insure++.compiler_acronym CC
into your .insight file which is in your top directory.
There is a man page help available:

> setup insure

> echo $PATH

> man insight
(By careful!! Always check the $PATH before you do "man insight", because there is another "insight" on unix, which has nothing to do with insure++.)

The other memory leak check program people use is Purify. There is a licence on a sun fsui02 on the fnalu cluser.

Send comments to Qizhong Li
Last modified: Mon Nov 17 16:10:11 CST 1997