Leveraging Static Analysis for Bug Repair