SynthFix: Adaptive Neuro-Symbolic Code Vulnerability Repair

Yifan Zhang, Jieyu Li, Kexin Pei +2

Large Language Models (LLMs) can generate plausible code patches, but plausibility is not enough for automated repair: a patch must compile, pass tests, and remove the target vulne…