Відправити по sms: Towards Industrial-Scale Software Binary Analysis