Using Safety Properties to Generate Vulnerability Patches Zhen Huang