Microsoft Technology Licensing, LLC

Jefferson King

Stephen Michael Danton

Karandeep Singh Anand

Jonah Sterling

Jesse Francisco

Madhur Joshi

William James Staples

Dina-Marie LeDonne Supino

Michael Bach

Jon Harris

Jodie Eilers

Adam Abdelhamed

Jon Lee

Muhammad Bilal Aslam

Alan Oursland

A code analysis system is described herein that provides code completion for programming languages that include elements that are not statically discoverable and that provides results in a predictable period that is acceptable for an interactive user interface. The system compiles each file into an intermediate state that can be stored and cached to speed later analysis of files. In addition, when executing a particular file, the system monitors a time-based threshold and/or a recursion depth so that if the compilation time is exceeding the threshold or a function is exceeding the recursion depth the system can stop the execution and use the intermediate results obtained up to that point to provide as much information as possible within a bounded execution time. When dynamic analysis fails, the system falls back to static analysis.

Analysis of dynamic elements in bounded time

Display screen with graphical user interface

Display screen with icon

Growing community of inventors

Redmond, WA, United States of America

Jefferson King