Blazin’ Etudes – Hack A Sat 3 Quals (2022) – Writeup

(If you just want the solution, and not the story, skip down to “Emulating MLIL on z3”)


This year was Samurai’s third time playing Hack A Sat’s (HAS) quals round. The first time we played, we qualified for finals. Year 2, we didn’t qualify. So this year we were hoping to qualify again. I personally wasn’t super involved in the first year, and only a bit involved last year (I don’t think the weekends lined up super great for me), but I was interested to take a shot at it this year and hopefully qualify!

Blazin’ Etudes was the third of a series of microblaze reversing challenges, released on the last day of the competition (Sunday). In order to properly appreciate it, we should briefly look at the preceding challenges.

Continue reading “Blazin’ Etudes – Hack A Sat 3 Quals (2022) – Writeup”