This concept of data dependency allows us to trace back the possible locations in the state as well as the statements that cause them back within the program execution and therefore to isolate the possible causes for an infection and later the failure. 