一种融合静态程序分析与大语言模型类型推断的软件补丁增强方法及系统

本发明公开了一种融合静态程序分析与大语言模型类型推断的软件补丁增强方法及系统。本发明中，系统包括输入接口、补丁分析模块、仓库级代码分析模块、上下文蒸馏模块、混合类型推断模块、补丁重写模块和验证输出模块。输入接口接收原软件工程智能体生成的候选补丁、目标代码仓库以及问题描述和测试信息；通过补丁完整性检查、仓库级AST与控制流分析、到达定义计算、静态分析和大模型联合类型推断，形成带证据的类型建议；再据此重写候选补丁并执行多层验证，提高类型相关问题的修复成功率，同时保持原问题的预期功能和标准补丁格式。