Patent ID: 8453106
Filing Date: 2013-05-28
Classification: G06F

Abstract:
1. A method, comprising: receiving source code, wherein the source code comprises a plurality of statements that define values of variables, wherein the source code further comprises a plurality of branches, wherein branches are taken during execution of the source code based at least in part upon a value of at least one variable in the variables; analyzing structure of the source code to ascertain theoretical execution behavior of the source code; causing the theoretical execution behavior of the source code to be graphically illustrated on a graphical user interface as a visualization; receiving a selection from a user on the graphical user interface of a particular portion of the graphical user interface; responsive to receiving the selection, outputting at least one execution trace based at least in part upon dynamic symbolic execution of the source code; and graphically depicting the at least one execution trace together with the visualization in the graphical user interface.