Automatically assessing crashes from heap overflows | Synapse