Pātuhitia tēnei: Towards Industrial-Scale Software Binary Analysis