US 11,941,379 B1
Accelerating static program analysis with artifact reuse
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); and Ryan Edward Ulch, Calgary (CA)
Assigned to Synopsys, Inc., Sunnyvale, CA (US)
Filed by Synopsys, Inc., Mountain View, CA (US)
Filed on Sep. 1, 2022, as Appl. No. 17/901,071.
Claims priority of provisional application 63/239,540, filed on Sep. 1, 2021.
Int. Cl. G06F 8/36 (2018.01); G06F 8/41 (2018.01)
CPC G06F 8/423 (2013.01) [G06F 8/36 (2013.01)] 20 Claims
OG exemplary drawing
 
1. A system comprising:
a memory storing instructions; and
a processor device, coupled with the memory and to execute the instructions, the instructions when executed cause the processor device to:
gather artifacts for a software program, wherein the artifacts are used in a static interprocedural analysis of the software program;
determine whether gathered artifacts are eligible for artifact reuse;
identify at least one of the artifacts determined to be eligible for artifact reuse as having a corresponding record stored in a network-accessible artifact repository; and
generate an emit database for the software program, comprising: storing an artifact identifier for the identified artifact in the emit database.