The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.

The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.

Date of Patent:
Mar. 16, 2021

Filed:

Jun. 13, 2019
Applicant:

Architecture Technology Corporation, Minneapolis, MN (US);

Inventors:

Joseph Sirianni, Ithaca, NY (US);

Paul Nicotera, Ithaca, NY (US);

Eric R. Chartier, St. Louis Park, MN (US);

Judson Powers, Ithaca, NY (US);

Assignee:

ARCHITECTURE TECHNOLOGY CORPORATION, Minneapolis, MN (US);

Attorney:
Primary Examiner:
Int. Cl.
CPC ...
G06F 9/44 (2018.01); G06F 11/36 (2006.01); G06F 17/18 (2006.01); G06N 20/20 (2019.01);
U.S. Cl.
CPC ...
G06F 11/3692 (2013.01); G06F 11/3664 (2013.01); G06F 17/18 (2013.01); G06N 20/20 (2019.01);
Abstract

In general, this disclosure describes methods and devices for analyzing source code to detect potential bugs in the code. Specifically, a device retrieves source code of an application. For each distinct execution of a plurality of executions of the application, the device initiates the respective execution at a particular starting point of the source code and inputs, into the source code, a unique set of inputs relative to any other execution. The device stores, into a path log, an indication of each line of source code and stores, into an output log, an indication of each output object encountered during the respective execution. Each output object includes a local variable dependent on the inputs. The device analyzes, using a machine learning model, the path and output logs to identify an abnormality indicative of a potential bug in the source code. The device outputs a graphical representation of the abnormality.


Find Patent Forward Citations

Loading…