Insure++ Manpages - insure

NAME

SYNOPSIS

DESCRIPTION

OPTIONS

EXAMPLES

`insure` - Compile and link programs with Insure++

SYNOPSIS


	insure [-Zlh] [-Zoi "option"]
	       [-Zop option_file] [-Zsl] [-Zvm] 

               [library_files] <compiler_arguments>

DESCRIPTION

This command takes the place of your normal compiler. In addition to compiling and linking your program, insure will insert code to monitor memory accesses and check for runtime bugs.

If errors can be detected at compile time, an appropriate message will be printed. Otherwise, all checks are done at runtime.

The pre-processor symbol __INSURE__ is automatically defined whenever you are using insure, so you may use this to conditionally include or exclude program fragments.

OPTIONS

`-Zlh`	Specify where on the command line the additional Insure++ libraries should be placed - the `-Zlh` flag ("link here") is replaced with the names of the Insure++ libraries. This is only necessary if the default location is incorrect.
`-Zoi "option"`	Treat `option` as a `.psrc` option. Multiple `-Zop` files and `-Zoi` options will be processed in order from left to right before any source files are processed.
`-Zop option_file`	Process the named file as though it were an additional `.psrc` file. This allows options to be supplied on the command line that override those of the other `.psrc` files. Multiple `-Zop` files and `-Zoi` options will be processed in order from left to right before any source files are processed.
`-Zsl`	Perform a "safe link". Normally, Insure++ forces every object file and library to be linked into the executable, without exception. This can occasionally cause conflicts if symbols are defined multiple times in different libraries. This option performs a slower link that avoids such problems by only linking files that are actually required. This option is tried automatically if fault recovery is turned on (the default).
`-Zvm`	Enable verbose mode. Displays each command as it is executed.
`library_files`	Any files whose names end in the suffix `.tqs`, `.tqi`, or `.tql` are taken to be Insure++ interface files and are processed in conjunction with the source files on the command line.
`<compiler_arguments>`	All other arguments are passed directly to your normal compiler (or the one specified in a `.psrc` file using a `compiler` directive).

EXAMPLES


	insure -o hello hello.c

Compile and link the C source file hello.c.


	insure mylib.tqs -c file1.c
	insure mylib.tqs -c file2.c
	insure -o myprog file1.o file2.o

These commands compile the files file1.c and file2.c, including checks from the Insure++ interface file mylib.tqs. The resulting object files are linked together into a program called myprog.


	insure -Zoi "compiler gcc" -o foo foo.c
	insure -o foo foo.c -Zoi "compiler gcc"

These commands are completely equivalent and build the program foo with the compiler gcc.

ParaSoft

Insure++

Insure++ Manpages - insure

Table of Contents

NAME

`insure` - Compile and link programs with Insure++

SYNOPSIS

DESCRIPTION

OPTIONS

EXAMPLES

SEE ALSO

ParaSoft

Insure++

Insure++ Manpages - insure

Table of Contents

NAME

insure - Compile and link programs with Insure++

SYNOPSIS

DESCRIPTION

OPTIONS

EXAMPLES

SEE ALSO

`insure` - Compile and link programs with Insure++