Page tree

Skip to end of metadata
Go to start of metadata

If you want to see more detailed information on Insure++’s operation during compilation, linking, or runtime, you can create an Insure++ Log. This information can be extremely helpful when troubleshooting problems. If you contact Parasoft technical support, they may ask you to generate and send this log file.

There are four levels of verbosity available when creating an Insure++ Log. Level 4 verbosity provides the greatest amount of detail.

You can create the Insure++ Log on the command line or by configuring psrc options to generate the log. In either case, Insure++ creates a log file in the current working directory. It will be named InsureLog.txt unless you specify a different name with the logfile  option. See Configuration Options (psrc) for more information.

Configuring Options to Create the Log 

Use the configuration option verbosity n, where n = verbosity level (1 - 4).  See Configuration Options (psrc) for more information.

Creating the Log on the Command Line

At build time, you can create an Insure++ Log by adding the flag -Zvm to your command line. You can add the flag once per desired verbosity level for up to four times in a command. For example:

-Zvm -Zvm -Zvm -Zvm

Placement New

Insure++ inserts checks for placement new. These checks assume default semantics for placement new. The second argument is the buffer where the object should be constructed. If a custom version of placement new (with different semantics) is used, this can lead to bogus WRITE_OVERFLOW messages.

The following controls whether checks for placement new are used: 

  • No labels