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.
Patent No.:
Date of Patent:
Mar. 16, 2021
Filed:
Mar. 29, 2019
Applicant:
Oracle International Corporation, Redwood Shores, CA (US);
Inventors:
Nathan Robert Albert Keynes, Kuraby, AU;
Eric Beguet, London, GB;
Assignee:
Oracle International Corporation, Redwood Shores, CA (US);
Attorney:
Primary Examiner:
Int. Cl.
CPC ...
G06F 11/00 (2006.01); G06F 11/36 (2006.01);
U.S. Cl.
CPC ...
G06F 11/3688 (2013.01); G06F 11/3604 (2013.01); G06F 11/3664 (2013.01); G06F 11/3684 (2013.01); G06F 11/3692 (2013.01);
Abstract
A method may include obtaining, from one of the rules of a static analysis, a built-in path relation describing a path constraint on a path variable, generating, using the rules, a transfer function that updates a property vector while analyzing code, generating an evaluation function that determines, using the updated property vector, whether the static analysis is satisfied, and determining whether the code includes a defect by executing the static analysis on the code using the path constraint, the transfer function, and the evaluation function.