-
公开(公告)号:US12182269B2
公开(公告)日:2024-12-31
申请号:US16980546
申请日:2018-07-17
Applicant: Google LLC
Inventor: Domagoj Babic , Omer Tripp , Franjo Ivancic , Sam Kerner , Markus Kusano , Timothy King , Stefan Bucur , Wei Wang , László Szekeres
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.
-
公开(公告)号:US20210004470A1
公开(公告)日:2021-01-07
申请号:US16980546
申请日:2018-07-17
Applicant: Google LLC
Inventor: Domagoj Babic , Omer Tripp , Franjo Ivancic , Sam Kerner , Markus Kusano , Timothy King , Stefan Bucur , Wei Wang , László Szekeres
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.
-
公开(公告)号:US20180143896A1
公开(公告)日:2018-05-24
申请号:US15360554
申请日:2016-11-23
Applicant: Google LLC
Inventor: Franjo Ivancic , Laszlo Szekeres , Domagoj Babic
CPC classification number: G06F11/3688 , G06F11/3612 , G06F11/3684 , G06F17/2247 , G06F17/24 , G06N3/0445 , G06N3/08
Abstract: A system and method are provided for testing the performance of applications. By way of example only, the method may include training a neural network with documents containing text elements that are arranged in accordance with a defined format and using the neural network to determine the predictability of the value of individual text elements within a test document. When the neural network indicates that the value of a text element is unlikely, the value may be modified and the modified document may be used to test an application that processes documents in accordance with the defined format.
-
公开(公告)号:US10095610B2
公开(公告)日:2018-10-09
申请号:US15901349
申请日:2018-02-21
Applicant: Google LLC
Inventor: Franjo Ivancic , László Szekeres , Domagoj Babic
Abstract: A system and method are provided for testing the performance of applications. By way of example only, the method may include training a neural network with documents containing text elements that are arranged in accordance with a defined format and using the neural network to determine the predictability of the value of individual text elements within a test document. When the neural network indicates that the value of a text element is unlikely, the value may be modified and the modified document may be used to test an application that processes documents in accordance with the defined format.
-
公开(公告)号:US20180181486A1
公开(公告)日:2018-06-28
申请号:US15901349
申请日:2018-02-21
Applicant: Google LLC
Inventor: Franjo Ivancic , László Szekeres , Domagoj Babic
CPC classification number: G06F11/3688 , G06F11/3612 , G06F11/3684 , G06F17/2247 , G06F17/24 , G06N3/0445 , G06N3/08
Abstract: A system and method are provided for testing the performance of applications. By way of example only, the method may include training a neural network with documents containing text elements that are arranged in accordance with a defined format and using the neural network to determine the predictability of the value of individual text elements within a test document. When the neural network indicates that the value of a text element is unlikely, the value may be modified and the modified document may be used to test an application that processes documents in accordance with the defined format.
-
公开(公告)号:US09977729B1
公开(公告)日:2018-05-22
申请号:US15360554
申请日:2016-11-23
Applicant: Google LLC
Inventor: Franjo Ivancic , Laszlo Szekeres , Domagoj Babic
CPC classification number: G06F11/3688 , G06F11/3612 , G06F11/3684 , G06F17/2247 , G06F17/24 , G06N3/0445 , G06N3/08
Abstract: A system and method are provided for testing the performance of applications. By way of example only, the method may include training a neural network with documents containing text elements that are arranged in accordance with a defined format and using the neural network to determine the predictability of the value of individual text elements within a test document. When the neural network indicates that the value of a text element is unlikely, the value may be modified and the modified document may be used to test an application that processes documents in accordance with the defined format.
-
-
-
-
-