Start time: 17:37:19
=====================SYMBOL=TABLE===============
[FILE]   = .......The name of the file.............................
[SL]     = .......The slicing lines................................
[CF]     = .......The called functions.............................
[DV]     = .......The dependent variables..........................
[P]      = .......The aliases of the variable......................
[@INDEX] = .......The index of the variable inside the function....
================================================
[FILE]="wc.c/line_char_count/f/[@INDEX]:(1), [SL]: 21,27,30,[CF]: scan_line 1,[CF]: scan_line 1,
[FILE]="wc.c/line_char_count/lines/[@INDEX]:(2), [SL]: 23,29,32,[CF]: printf 2,
[FILE]="wc.c/line_char_count/chars/[@INDEX]:(3), [SL]: 24,27,30,33,[CF]: printf 2,
[FILE]="wc.c/line_char_count/eof_flag/[@INDEX]:(4), [SL]: 25,27,28,30,[CF]: scan_line 2,[CF]: scan_line 2,
[FILE]="wc.c/line_char_count/false/[@INDEX]:(5), [SL]: 25,28,
[FILE]="wc.c/scan_line/f/[@INDEX]:(1), [SL]: 7,11,[CF]: fgetc 1,
[FILE]="wc.c/scan_line/i/[@INDEX]:(3), [SL]: 8,10,10,14,17,
[FILE]="wc.c/scan_line/bptr/[@INDEX]:(2), [SL]: 7,13,
[FILE]="wc.c/scan_line/c/[@INDEX]:(4), [SL]: 8,11,12,16,

End time: 17:37:19