Start time: 17:32:45 =====================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]="informationflow.c/f3/x/[@INDEX]:(2), [SL]: 29,29,29, [FILE]="informationflow.c/f3/y/[@INDEX]:(1), [SL]: 29,29,, [DV]: x [AFFECTED BY] y, [FILE]="informationflow.c/f4/x/[@INDEX]:(2), [SL]: 30,30,30, [FILE]="informationflow.c/f4/y/[@INDEX]:(1), [SL]: 30,30,, [DV]: x [AFFECTED BY] y, [FILE]="informationflow.c/f5/x/[@INDEX]:(2), [SL]: 31,31,31, [FILE]="informationflow.c/f5/y/[@INDEX]:(1), [SL]: 31,31,, [DV]: x [AFFECTED BY] y, [FILE]="informationflow.c/f6/x/[@INDEX]:(2), [SL]: 32,32,32, [FILE]="informationflow.c/f6/y/[@INDEX]:(1), [SL]: 32,32,, [DV]: x [AFFECTED BY] y, [FILE]="informationflow.c/read_low/n/[@INDEX]:(1), [SL]: 17,19, [FILE]="informationflow.c/write_low/n/[@INDEX]:(1), [SL]: 21, [FILE]="informationflow.c/main/hi/[@INDEX]:(1), [SL]: 39,43,48,50,57,60,60,61,62,67,69,83,88,93,94,98,99,106,107,[CF]: f5 1,[CF]: sprintf 3,[CF]: f6 1,[CF]: fptr 1,[CF]: write_high 1,[CF]: f1 1, [P]: p, [FILE]="informationflow.c/main/lo/[@INDEX]:(2), [SL]: 39,49,51,52,58,59,59,61,63,68,71,74,105,108,109,[CF]: f3 1,[CF]: f4 1,[CF]: write_low 1,[CF]: write_low 1,[CF]: write_low 1,[CF]: sscanf 3,[CF]: f2 1, [FILE]="informationflow.c/main/p/[@INDEX]:(3), [SL]: 39,43,44,84,99,[CF]: write_low 1, [P]: q, [FILE]="informationflow.c/main/q/[@INDEX]:(4), [SL]: 39,44,89,100,[CF]: write_low 1,[CF]: write_low 1, [FILE]="informationflow.c/main/s/[@INDEX]:(5), [SL]: 41,107,108,[CF]: sprintf 1,[CF]: sscanf 1, [FILE]="informationflow.c/read_high/n/[@INDEX]:(1), [SL]: 5,7, [FILE]="informationflow.c/write_high/n/[@INDEX]:(1), [SL]: 9, [FILE]="informationflow.c/f1/x/[@INDEX]:(2), [SL]: 27,27,27, [FILE]="informationflow.c/f1/y/[@INDEX]:(1), [SL]: 27,27,, [DV]: x [AFFECTED BY] y, [FILE]="informationflow.c/f2/x/[@INDEX]:(2), [SL]: 28,28,28, [FILE]="informationflow.c/f2/y/[@INDEX]:(1), [SL]: 28,28,, [DV]: x [AFFECTED BY] y, [FILE]="informationflow.c/save/y/[@INDEX]:(1), [SL]: 35,35,, [DV]: cache [AFFECTED BY] y, End time: 17:32:45