Security Vulnerability Repair via Concolic Execution and Code Mutations - View it on GitHub