NAME
ctrace - C program debugger
SYNOPSIS
ctrace [options] [file]
DESCRIPTION
The ctrace command allows the user to monitor the sequential
execution of a C program as each program statement executes.
The effect is similar to executing a shell procedure with
the -x option. ctrace reads the C program in file (or from
standard input if the user does not specify file), inserts
statements to print the text of each executable statement
and the values of all variables referenced or modified, and
writes the modified program to the standard output. The
output of ctrace must be placed into a temporary file
because the cc(1) commands do not allow the use of a pipe.
This file can then be compiled and executed.
As each statement in the program executes, it will be listed
at the terminal, followed by the name and value of any vari-
ables referenced or modified in the statement; these vari-
able names and values will be followed by any output from
the statement. Loops in the trace output are detected and
tracing is stopped until the loop is exited or a different
sequence of statements within the loop is executed. A warn-
ing message is printed after each 1000 loop cycles to help
the user detect infinite loops. The trace output goes to
the standard output so the user can put it into a file for
examination with an editor or the tail(1) command.
The options commonly used are:
-f functions Trace only these functions.
-v functions Trace all but these functions.
The user may want to add to the default formats for printing
variables. Long and pointer variables are always printed as
signed integers. Pointers to character arrays are also
printed as strings if appropriate. char, short, and int
variables are also printed as signed integers and, if
appropriate, as characters. double variables are printed as
floating point numbers in scientific notation. The user can
request that variables be printed in additional formats, if
appropriate, with these options:
-o Octal
-x Hexadecimal
-u Unsigned
-e Floating point
These options are used only in special circumstances:
-l n Check n consecutively executed statements for looping
trace output, instead of the default of 20. Use 0 to
get all the trace output from loops.
-s Suppress redundant trace output from simple assign-
ment statements and string copy function calls. This
option can hide a bug caused by use of the = operator
in place of the == operator.
-t n Trace n variables per statement instead of the
default of 10 (the maximum number is 20). The diag-
nostics section explains when to use this option.
-P Preprocess the input before tracing it. The user can
also use the -D, -I, and -U cc(1) options.
-p string
Change the trace print function from the default of
printf. For example, fprintf(stderr, would send the
trace to the standard error output.
-r f Use file f in place of the runtime.c trace function
package. This replacement lets the user change the
entire print function, instead of just the name and
leading arguments (see the -p option).
-V Prints version information on the standard error.
-Qarg If arg is y, identification information about ctrace
will be added to the output files. This can be use-
ful for software administration. Giving n for arg
exlicitly asks for no such information, which is the
default behavior.
EXAMPLE
If the file lc.c contains this C program:
1 #include <stdio.h>
2 main() /* count lines in input */
3 {
4 int c, nl;
5
6 nl = 0;
7 while ((c = getchar()) != EOF)
8 if (c = '\n')
9 ++nl;
10 printf("%d\n", nl);
11 }
these commands and test data are entered:
cc lc.c
a.out
1
(cntl-d)
the program will be compiled and executed. The output of
the program will be the number 2, which is incorrect because
there is only one line in the test data. The error in this
program is common, but subtle. If the user invokes ctrace
with these commands:
ctrace lc.c >temp.c
cc temp.c
a.out
the output will be:
2 main()
6 nl = 0;
/* nl == 0 */
7 while ((c = getchar()) != EOF)
The program is now waiting for input. If the user enters
the same test data as before, the output will be:
/* c == 49 or '1' */
8 if (c = '\n')
/* c == 10 or '\n' */
9 ++nl;
/* nl == 1 */
7 while ((c = getchar()) != EOF)
/* c == 10 or '\n' */
8 if (c = '\n')
/* c == 10 or '\n' */
9 ++nl;
/* nl == 2 */
7 while ((c = getchar()) != EOF)
If an end-of-file character (cntl-d) is entered, the final
output will be:
/* c == -1 */
10 printf("%d\n", nl);
/* nl == 2 */2
return
Note the information printed out at the end of the trace
line for the nl variable following line 10. Also note the
return comment added by ctrace at the end of the trace out-
put. This shows the implicit return at the terminating
brace in the function.
The trace output shows that variable c is assigned the value
'1' in line 7, but in line 8 it has the value '\n'. Once
user attention is drawn to this if statement, he or she will
probably realize that the assignment operator (=) was used
in place of the equality operator (==). This error can
easily be missed during code reading.
EXECUTION-TIME TRACE CONTROL
The default operation for ctrace is to trace the entire pro-
gram file, unless the -f or -v options are used to trace
specific functions. The default operation does not give the
user statement-by-statement control of the tracing, nor does
it let the user turn the tracing off and on when executing
the traced program.
The user can do both of these by adding ctroff() and ctron()
function calls to the program to turn the tracing off and
on, respectively, at execution time. Thus, complex criteria
can be arbitrarily coded for trace control with if state-
ments, and this code can even be conditionally included
because ctrace defines the CTRACE preprocessor variable.
For example:
#ifdef CTRACE
if (c == '!' && i > 1000)
ctron();
#endif
These functions can also be called from dbx(1) if they are
compiled with the -g option. For example, to trace all but
lines 7 to 10 in the main function, enter:
dbx a.out
when at 7 {call ctroff();}
when at 7 {call ctron();}
run
The trace can be turned off and on by setting static vari-
able tr_ct_ to 0 and 1, respectively. This on/off option is
useful if a user is using a debugger that can not call these
functions directly.
FILES
runtime.c run-time trace package
SEE ALSO
bfs(1), dbx(1), tail(1), ctype(3C), fclose(3S), printf(3S),
string(3C)
DIAGNOSTICS
This section contains diagnostic messages from both ctrace
and cc(1), since the traced code often gets some cc warning
messages. The user can get cc error messages in some rare
cases, all of which can be avoided.
ctrace Diagnostics
warning: some variables are not traced in this statement
Only 10 variables are traced in a statement to prevent
the C compiler "out of tree space; simplify expression"
error. Use the -t option to increase this number.
warning: statement too long to trace
This statement is over 400 characters long. Make sure
that tabs are used to indent the code, not spaces.
cannot handle preprocessor code, use -P option
This is usually caused by #ifdef/#endif preprocessor
statements in the middle of a C statement, or by a
semicolon at the end of a #define preprocessor state-
ment.
Split the sequence by removing an else from the middle.
possible syntax error, try -P option
Use the -P option to preprocess the ctrace input, along
with any appropriate -D, -I, and -U preprocessor
options.
NOTES
Defining a function with the same name as a system function
may cause a syntax error if the number of arguments is
changed. Just use a different name.
ctrace assumes that BADMAG is a preprocessor macro, and that
EOF and NULL are #defined constants. Declaring any of these
to be variables, e.g., "int EOF;", will cause a syntax
error.
Pointer values are always treated as pointers to character
strings.
ctrace does not know about the components of aggregates like
structures, unions, and arrays. It cannot choose a format
to print all the components of an aggregate when an assign-
ment is made to the entire aggregate. ctrace may choose to
print the address of an aggregate or use the wrong format
(e.g., 3.149050e-311 for a structure with two integer
members) when printing the value of an aggregate.
The loop trace output elimination is done separately for
each file of a multi-file program. Separate output elimina-
tion can result in functions called from a loop still being
traced, or the elimination of trace output from one function
in a file until another in the same file is called.