公开了软件程序修复示例的生成。操作可以包括生成软件程序的源代码的有漏洞版本的第一图形表示以及生成该源代码的修复版本的第二图形表示。有漏洞版本可能包括错误，并且该错误已经在修复版本中被纠正。操作还可以包括将彼此匹配的第一图形表示的第一节点和第二图形表示的第二节点识别为匹配节点。另外地，操作可以包括将相同的约简同时应用于第一节点和第二节点，以生成源代码的约简的有漏洞版本和源代码的约简的修复版本。此外，操作可以包括生成关于纠正错误的修复示例，其中，修复示例基于约简的有漏洞版本和约简的修复版本。