Quick guide on how to debug a Windows Service using Global Flags and WinDBG.

We continue to the next pwnable.kr challenge, named `bof`, and use 2 different approaches to solve it. In the first one we analyse the binary to derive the solution, and in the second one we again take advantage of `angr` to solve it.

In this blogpost we'll go through a detailed write-up for the "collision" challenge of pwnable.kr using 3 different methods: algebraic, angr, and z3. The simplicity of this challenge makes it a good candidate to showcase the capabilities of symbolic execution and SMT solvers for exploitation.

Hello, World! A simple but detailed write-up for the first pwnable.kr challenge: fd.