Zaslat SMS: Towards Industrial-Scale Software Binary Analysis