Option |
Default |
-auto-mount-prefix |
/tmp_mnt |
This option is used to specify the directory prefix used by the file system automounter, usually /tmp_mnt, to mount remote file systems in NFS environments. Use this option to strip the prefix, if present, to improve the readability of source filenames in PureCoverage reports. If your automounter alters the prefix, instead of adding a prefix, use the syntax -auto-mount-prefix=/tmp_mnt/home:/homes to specify that the real file name is constructed from the apparent by replacing /tmp_mnt/home with /homes. If
you do not set this option correctly, PureCoverage may be unable to access
files on automounted filesystems. The automounter may not recognize their
names. |
|
-user-path |
none |
This option specifies a list of directories to search for source code. When searching for source code to build annotated source listings, PureCoverage looks for the file in the full pathname specified in the debugging data, then in directories listed in -user-path, and finally in the current directory. PureCoverage can also use -user-path at instrumentation time to help resolve source-code path names if the debugging data is incomplete or the files have been moved. The resolved name is built into the executable and is used in the export data and at analysis time. The
directory where the object file resides and the current working directory
are automatically appended to the end of the -user-path directory list to
help find source files with missing or incorrect directory names. |
|
-program-name |
argv[0] |
This option specifies
the full pathname of the instrumented program. Use this option if argv[0] contains an undesirable
or incorrect value--for example, when your program is invoked by an exec call whose path differs
from the argument it passes as argv[0] to your program.
In such cases, PureCoverage cannot find the program file, and therefore
cannot match addresses to function names. |
-log-file |
stderr |
These options specify where to send PureCoverage run-time messages. When you specify a file name for output, -log-file overwrites any previous log file with the same name. If you want to append data to an existing log file, use the option -append-log-file. If neither of these options is set, PureCoverage run-time messages are sent to the program's stderr stream. Sometimes it is more important that the PureCoverage instrumented application run exactly like the uninstrumented application, with no additional output to stderr, than it is to be reminded that coverage data is being collected. You can silence run-time messages by specifying the option -log-file=/dev/null. If your application is instrumented for both PureCoverage and Purify, PureCoverage's start-up and data recording messages go to the Purify Viewer. If the option -log-file is set, the same log file receives both PureCoverage and Purify output. If you set PURIFYOPTIONS -log-file=plog and PURECOVOPTIONS -log-file=xlog, the value in PURIFYOPTIONS has precedence. The -log-file options can be used with filename conversion characters.
|