Patent · US Active

Graphical user interface for exploring source code execution behavior

US8453106B2 · kind B2 · utility

4Cited by

1References

20Claims

0Family size

Assignee

Microsoft Corporation · US

Inventors

Robert DeLine · Corbett, US
Jonathan de Halleux · Seattle, US
Nikolai Tillmann · Redmond, US

Key dates

Filing date	Dec 17, 2010
Grant date	May 28, 2013
Priority date	—
Expiry date	Sep 19, 2031

Classification

Technology area (CPC G)Physics
CPC primaryG06F8/433
WIPO fieldComputer technology
WIPO sectorElectrical engineering

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.

Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.