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:
May. 03, 2022

Filed:

Mar. 08, 2021
Applicant:

Correct Computation, Inc., College Park, MD (US);

Inventors:

Michael W. Hicks, Silver Spring, MD (US);

B. S. Lavender, Brooklyn, NY (US);

Anwar Mamat, Chantilly, VA (US);

Ian Nicholas Sweet, College Park, MD (US);

Assignee:

Correct Computation, Inc., College Mark, MD (US);

Attorney:
Primary Examiner:
Int. Cl.
CPC ...
G06F 11/36 (2006.01); G06F 8/71 (2018.01); G06F 9/22 (2006.01);
U.S. Cl.
CPC ...
G06F 11/3624 (2013.01); G06F 8/71 (2013.01); G06F 9/22 (2013.01); G06F 11/3612 (2013.01);
Abstract

In one embodiment, an application programming interface (API) and machine code associated with a software library are accessed. Data sources and data sinks in the software library are identified based on the API, and a data flow among the data sources and data sinks is determined based on a dynamic analysis of the machine code associated with the software library. A flow graph associated with the software library is then generated to represent the data flow among the data sources and data sinks, and a source code model associated with the software library is generated based on the flow graph.


Find Patent Forward Citations

Hicks, Michael. (2022). Automated generation of source code models from machine code for code analysis (U.S. Patent No. 11321218). U.S. Patent and Trademark Office. https://idiyas.com/patent/badge/11321218

Data source: USPTO (United States Patent and Trademark Office) public patent records. Weekly synchronization. How IDiyas builds this profile

Loading…