When building with Insure++, the source code is instrumented and mutation testing is performed. Insure++ then compiles and links the instrumented code with your native compiler. Test results are reported in the Insra interface, which differs depending on whether you are using Insure++ on Windows (see Viewing Results on Windows) or a Unix-based system (see Viewing Results on Unix).

Insure++ is also able to report code coverage data with or without performing runtime error detection. The interface for viewing code coverage differs depending on whether you are on Windows (see Code Coverage) or a Unix-based system (see Analyzing Code Coverage with TCA). 

Recompile your program with Insure++ instead of your normal compiler and run the program under Insure++. The Insra component will report errors and include details that help you track down and correct problems. 

...

Compiling with Insure++ creates a version of your code that includes calls to the Insure++ library. The instrumented code is passed to your normal compiler. During the compilation an execution, Insure++ detects and reports various programming errors. See Errors Detected for an exhaustive description of the types of errors detected. For each error reported, you will see the source line that appears to be incorrect and an explanation of what type of error occurred. Normally, Insure++ sends its output to stderr, but it can send its output to Insra, a graphical tool for viewing error messages. For more information, see Viewing Results on Windows.

Command Line

On Windows, run your compilation and link commands as you normally would but replace your compiler command with the insure command:

...