Invention Grant
US08453106B2 Graphical user interface for exploring source code execution behavior
有权
用于探索源代码执行行为的图形用户界面
- Patent Title: Graphical user interface for exploring source code execution behavior
- Patent Title (中): 用于探索源代码执行行为的图形用户界面
-
Application No.: US12970983Application Date: 2010-12-17
-
Publication No.: US08453106B2Publication Date: 2013-05-28
- Inventor: Robert Anthony DeLine , Jonathan de Halleux , Nikolai Tillmann
- Applicant: Robert Anthony DeLine , Jonathan de Halleux , Nikolai Tillmann
- Applicant Address: US WA Redmond
- Assignee: Microsoft Corporation
- Current Assignee: Microsoft Corporation
- Current Assignee Address: US WA Redmond
- Main IPC: G06F9/44
- IPC: G06F9/44
Abstract:
Described herein are interactive graphical user interfaces that visualize execution behavior of source code together with theoretical execution behavior of the source code together with the source code itself. Structure of the source code is analyzed to determine theoretical execution behavior of the source code. Thereafter, symbolic execution of the source code is undertaken to output an execution trace. The execution trace is shown together with the theoretical execution behavior of the source code.
Public/Granted literature
- US20120159452A1 GRAPHICAL USER INTERFACE FOR EXPLORING SOURCE CODE EXECUTION BEHAVIOR Public/Granted day:2012-06-21
Information query
