Patents by Inventor Eric Beguet

Eric Beguet 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).

  • Path-sensitive static analysis
    Patent number: 10949336
    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.
    Type: Grant
    Filed: March 29, 2019
    Date of Patent: March 16, 2021
    Assignee: Oracle International Corporation
    Inventors: Nathan Robert Albert Keynes, Eric Beguet
  • PATH-SENSITIVE STATIC ANALYSIS
    Publication number: 20200310951
    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.
    Type: Application
    Filed: March 29, 2019
    Publication date: October 1, 2020
    Inventors: Nathan Robert Albert Keynes, Eric Beguet