The BITCOV Initiator ctc2static

Executed as a hook script during instrumentation, ctc2static initializes the BITCOV setup without a runtime library and (typically) bits as counters.

This script shall only be invoked during a ctc call using the parameter RUN_AFTER_INSTR in a configuration file (or by command-line):

RUN_AFTER_INSTR = ctc2static

With that call, the code is instrumented differently. A runtime library is no longer used, and during instrumentation, a file MON.aux is generated maintaining the CTC_array offsets to source files.

A direct call or any other usage of ctc2static is never required.