针对安全性违反的补丁的自动生成

摘要

本公开的各方面提供用于为安全性违反自动地生成补丁。例如，可以为代码生成多个输入。可以使用多个输入来执行代码以获得多个代码位置处的执行状态。执行状态可以包括针对多个输入中的至少一些的至少一个安全性违反。使用执行状态，可以确定引起至少一个安全性违反的一个或多个补丁条件。使用执行状态，可以基于多个代码位置中的一个或多个补丁条件中的每一个均发生了至少一个安全性违反的代码位置来确定一个或多个对应补丁位置。可以自动地生成针对至少一个安全性违反的至少一个候选补丁。该至少一个候选补丁可以包括补丁条件中的一个和对应补丁位置中的一个。