DESERVE: a Framework for Detecting Program Security Vulnerability Exploitations