Patents by Inventor Sam Kerner

Sam Kerner 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).

  • Automatic generation of patches for security violations
    Patent number: 12182269
    Abstract: Aspects of the disclosure provide for automatically generating patches for security violations. For example, a plurality of inputs may be generated for code. The code may be executed using the plurality of inputs to obtain execution states at a plurality of code locations. The execution states may include at least one security violation for at least some of the plurality of inputs. Using the execution states, one or more patch conditions causing the at least one security violation may be determined. Using the execution states, one or more corresponding patch locations may be determined based on a code location of the plurality of code locations where the at least one security violation each of the one or more patch conditions occurred. At least one candidate patch for the at least one security violation may be automatically generated. The at least one candidate patch may include one of the patch conditions and one of the corresponding patch locations.
    Type: Grant
    Filed: July 17, 2018
    Date of Patent: December 31, 2024
    Assignee: Google LLC
    Inventors: Domagoj Babic, Omer Tripp, Franjo Ivancic, Sam Kerner, Markus Kusano, Timothy King, Stefan Bucur, Wei Wang, László Szekeres
  • Automatic Generation Of Patches For Security Violations
    Publication number: 20210004470
    Abstract: Aspects of the disclosure provide for automatically generating patches for security violations. For example, a plurality of inputs may be generated for code. The code may be executed using the plurality of inputs to obtain execution states at a plurality of code locations. The execution states may include at least one security violation for at least some of the plurality of inputs. Using the execution states, one or more patch conditions causing the at least one security violation may be determined. Using the execution states, one or more corresponding patch locations may be determined based on a code location of the plurality of code locations where the at least one security violation each of the one or more patch conditions occurred. At least one candidate patch for the at least one security violation may be automatically generated. The at least one candidate patch may include one of the patch conditions and one of the corresponding patch locations.
    Type: Application
    Filed: July 17, 2018
    Publication date: January 7, 2021
    Applicant: Google LLC
    Inventors: Domagoj Babic, Omer Tripp, Franjo Ivancic, Sam Kerner, Markus Kusano, Timothy King, Stefan Bucur, Wei Wang, László Szekeres