Analysis of Virtual.1 by Bagolymadar
The following post will describe the analysis of Virtual.1 a crakcme that implements a simple virtual machine, I used Triton emulation capabilities to solve ...
Posts by Year
2026
2024
Writing an IR from Scratch and survive to write a post
The following post will talk about the design of the first version of the Intermediate Representation of Kunai, the design decisions and how it was implement...
Notes about Linux ptrace syscall
My personal notes about the Linux ptrace syscall
Notes about ELF File Format
My personal notes about the ELF file format
2023
Madame De Maintenon’s Cryptographic Pursuit – Unmasking the Traitors
Hex-rays has published a second CTF where we have to uncover the location of the traitors in the story of Madame de Maintenon (the IDA Lady)
Solving the hack.lu 2021 OLLVM Challenge with Triton
Following the previous post about using Triton for solving challenges through symbolic execution and SMT Solving, this time we will try solving an obfuscated...
Solving Hex-Rays Challenge with Triton and TritonDSE
Triton is a library for doing Symbolic Execution, useful for doing common CTF challenges and analyzing obfuscations. TritonDSE is a library built on top of T...
Kunai, a library for analyzing Dalvik Executable Files
Kunai is a library for analyzing Dalvik Executable Files, this library is written in C++ for performance reasons
The Making of Fuzzing Against the Machine: A Chill Tale
History of how the idea of the book Fuzzing Against The Machine started and favorite chapters of the authors
Static Single Assignment Algorithm for MLIR
Explanation of Static Single Assignment Algorithm for MLIR