the location in the source code that corresponds with each point of
execution in the running program, and more effectively locate faults,
failures, and vulnerabilities. In The Concept of Dynamic Analysis, [273]
T. Ball describes two analyses: