Pātuhitia tēnei: Static analysis of software