Patent ID: 9015674
Filing Date: 2015-04-21
Classification: G06F

Abstract:
1. A computer-implemented method comprising: receiving source code for a computer-executable program, the source code comprising a plurality of lines of code, the plurality of lines of code comprising statements that define values of variables and a plurality of execution paths, wherein respective execution paths are taken during execution of the computer-executable program by a computer processor based at least in part respective values of the variables; receiving a reachability query from a user, the reachability query comprising: a user-selected initial line of code from amongst the plurality of lines of code; a user-selected intermediate line of code from amongst the plurality of lines of code; and a user-selected destination line of code from amongst the plurality of lines of code; responsive to receiving the reachability query, identifying: an execution path in the plurality of execution paths that begins at the initial line of code, then reaches the intermediate line of code, and subsequently reaches the destination line of code; and a value of at least one variable in the variables that causes the program to execute over the execution path; and displaying graphical data on a display screen of a computing device, the graphical data indicative of the execution path and the value of the at least one variable.