A while ago at my uni I gave a little talk on, as the title says, introduction to binary exploitation. Since the majority of it was live I’ve decided to turn it into an article. Let’s dive in! Why does binary code still matter? Nowadays we live in the world of web apps, which are usually implemented using high-level, interpreted languages. They provide programmers with many guarantees like garbage collection or memory and type safety.

I’ve always had fun using tools like Z3 and angr. They work almost like magic. You tell them what you want and after some unreasonable amount of time the solution appears. The OverTheWire Advent Bonanza 2019 CTF featured one of these nice problems which could be easily solved using Z3. So I took the oppurtunity. Sudo Sudoku - day 5 The description said: Santa’s little helpers are notoriously good at solving Sudoku puzzles, so they made a special variant…