Automatically Mitigating Vulnerabilities in x86 Binary Programs via Partially Recompilable Decompilation