Instrumenting Code for the Target

Two prerequisites are important when code is instrumented using a cross-compiler and HOTA: The compiler with its options has to be configured for Testwell CTC++, and the runtime library compiled by the user has to be linked to the instrumented code.

Compiler Configuration

The compiler and linker commands with their options have to be configured in a configuration file (ctc.ini by default). Verifysoft provides configurations for many compilers already, please contact the support team.

If ctcwrap is used for the build, the command names have to be listed additionally in the file wrapcmds.txt.

Linking the runtime library

The Testwell CTC++ runtime library for the target has to be linked to the instrumented code.

This can be achieved using the configuration parameter LIBRARY. For cross-compiler configurations, the default setting in the configuration file is:

LIBRARY = $(CTCHOME)\hota\targdata.obj
LIBRARY + $(CTCHOME)\hota\targcust.obj
LIBRARY + $(CTCHOME)\hota\targsend.obj