Leveraging Static Analysis for Bug Repair. - Ruba Mutasim; Gabriel Synnaeve; David Pichardie; Baptiste Rozière (CoRR, 2023)