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. 26, 2024
Filed:
Sep. 01, 2022
Synopsys, Inc., Mountain View, CA (US);
Marc-André Laverdière-Papineau, Calgary, CA;
Kenneth Robert Block, Providence, RI (US);
Nebojsa Bozovic, Calgary, CA;
Simon Fredrick Vicente Goldsmith, Oakland, CA (US);
Charles-Henri Marie Jacques Gros, San Francisco, CA (US);
Thomas Henry Hildebrandt, Mercer Island, WA (US);
Thierry M. Lavoie, Calgary, CA;
Ryan Edward Ulch, Calgary, CA;
Synopsys, Inc., Sunnyvale, CA (US);
Abstract
A system performs static program analysis with artifact reuse. The system identifies artifacts associated with the software program being analyzed. The system processes the identified artifacts for performing static program analysis and transmits either the artifacts or identifiers for the artifacts to a second processing device for performing program analysis. The second processing device receives the artifacts and uses the received identifiers to retrieve the artifacts from a networked storage system. The second device also retrieves stored summaries of previous program analysis from the networked storage system. The program analysis uses the retrieved artifacts to generate work units for static program analysis. The analysis is performed only for those work units that are determined to remain unchanged from previous static program analysis cycles.