The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Dec. 31, 2024
Filed:
Jul. 17, 2018
Google Llc, Mountain View, CA (US);
Domagoj Babic, Mountain View, CA (US);
Omer Tripp, San Jose, CA (US);
Franjo Ivancic, Princeton, NJ (US);
Sam Kerner, Fairfax, VA (US);
Markus Kusano, Herndon, VA (US);
Timothy King, Mountain View, CA (US);
Stefan Bucur, Mountain View, CA (US);
Wei Wang, San Jose, CA (US);
László Szekeres, Brooklyn, NY (US);
Google LLC, Mountain View, CA (US);
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.