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
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: