Pātuhitia tēnei: Next-Generation Intermediate Representations for Binary Code Analysis