Patents by Inventor Jordan Tyler Thayer

Jordan Tyler Thayer 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).

  • Systems and methods for graph-based analysis of software
    Patent number: 10303448
    Abstract: Disclosed herein are methods, systems, and computer program products directed to a guidance engine. The guidance engine is configured to query a knowledge base for guidance with respect to a property of a software application. The guidance engine receives a responsive query from the knowledge base that is based on the property. The responsive query informs a user of the guidance engine how to address a vulnerability within the software application by performing a transform with respect to a property of the software application.
    Type: Grant
    Filed: May 15, 2017
    Date of Patent: May 28, 2019
    Assignee: Synopsys, Inc.
    Inventors: John Steven, Chris Schmidt, Jordan Tyler Thayer
  • Systems and Methods for Model-Based Analysis of Software
    Publication number: 20170329582
    Abstract: Disclosed herein are methods, systems, and computer program products directed to a guidance engine. The guidance engine is configured to query a knowledge base for guidance with respect to a property of a software application. The guidance engine receives a responsive query from the knowledge base that is based on the property. The responsive query informs a user of the guidance engine how to address a vulnerability within the software application by performing a transform with respect to a property of the software application.
    Type: Application
    Filed: May 15, 2017
    Publication date: November 16, 2017
    Inventors: John STEVEN, Chris Schmidt, Jordan Tyler Thayer