Stav dette: Towards Industrial-Scale Software Binary Analysis