Patents by Inventor Ryan Edward Ulch

Ryan Edward Ulch has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Patent number: 11941379
    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.
    Type: Grant
    Filed: September 1, 2022
    Date of Patent: March 26, 2024
    Assignee: Synopsys, Inc.
    Inventors: Marc-André Laverdière-Papineau, Kenneth Robert Block, Nebojsa Bozovic, Simon Fredrick Vicente Goldsmith, Charles-Henri Marie Jacques Gros, Thomas Henry Hildebrandt, Thierry M. Lavoie, Ryan Edward Ulch