Search papers, labs, and topics across Lattice.
This paper introduces SynthFix, a hybrid neuro-symbolic framework that enhances LLM-based code vulnerability repair by integrating code synthesis with compiler-informed symbolic feedback. The adaptive training strategy employs a Router Model to direct code samples to either Supervised Fine-Tuning (SFT) for common patterns or Reward Fine-Tuning (RFT) for complex refinements, resulting in significant performance gains. On the FixJS and CodeFlaws benchmarks, SynthFix demonstrates up to an 18% improvement in CodeBLEU/CrystalBLEU and 32% in Exact Match compared to existing baselines, showcasing a more effective approach to automated code repair.
SynthFix achieves up to 32% better accuracy in code vulnerability repair by intelligently combining supervised and reward-based training strategies.
Large Language Models (LLMs) show promise for automated code repair but often struggle with the complex semantic and structural correctness required. We present SynthFix, a hybrid neural-symbolic framework that improves LLM-based vulnerability repair by unifying code synthesis with compiler-informed symbolic feedback. The core of our approach is an adaptive training strategy where a neural Router Model directs code samples to either Supervised Fine-Tuning (SFT) to learn common patterns or Reward Fine-Tuning (RFT) with symbolic rewards for complex, iterative refinement. On the FixJS (JavaScript) and CodeFlaws (C) benchmarks, SynthFix achieves up to 18% relative improvement in CodeBLEU/CrystalBLEU and 32% in Exact Match over strong SFT and RFT baselines. Our results show that this adaptive combination of training strategies, which mirrors how developers alternate between pattern application and tool feedback, significantly improves the accuracy and efficiency of LLM-based vulnerability repair. Our code and data are available at https://github.com/CoderDoge1108/SynthFix.
