US11201894B2 - Method, System, and Computer Program Product for Automatically Mitigating Vulnerabilities in Source Code