Start time: 17:28:38 =====================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]="call-of-call.cpp/function1/w/[@INDEX]:(3), [SL]: 10,12,, [DV]: x [AFFECTED BY] w, [FILE]="call-of-call.cpp/function1/x/[@INDEX]:(1), [SL]: 10,12, [FILE]="call-of-call.cpp/function1/y/[@INDEX]:(2), [SL]: 10,12,, [DV]: x [AFFECTED BY] y, [FILE]="call-of-call.cpp/function2/z/[@INDEX]:(1), [SL]: 5,7,8, [FILE]="call-of-call.cpp/main/var2/[@INDEX]:(2), [SL]: 19,21,22,[CF]: function1 2,[CF]: function2 1, [FILE]="call-of-call.cpp/main/var3/[@INDEX]:(3), [SL]: 20,21,22,[CF]: function1 1,[CF]: function1 3, [FILE]="call-of-call.cpp/main/var1/[@INDEX]:(1), [SL]: 18,21,22,[CF]: function1 3,[CF]: function1 1, End time: 17:28:38