Eduardo Blázquez’s Personal Webpage

In 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 it.

In this post, I will talk about the first version of the Intermediate Representation I designed for Kunai Static Analyzer, this is a dalvik analysis library that I wrote as a project for my PhD, also as a way of learning about the Dalvik file format and i…

ptrace this system call is highly used when analyzing, debugging, reverse engineering, and modifying programs that use ELF format. ptrace allows us to attach to a process and access code, data, stack, heap, and registers.

ELF File Three main types of ELF files: relocatable file holds code and data suitable for linking with other object files, to create an executable or shared object. executable file program suitable for execution.

Detective Jiu has found a few clues, will be able to solve the riddle...?

Mirror, mirror on the wall whos the best kpop artist of this world...Oh no, this wasn't about that...

A few weeks ago, Robert Yates uploaded a tweet featuring a video solving a challenge by the company Hex-Rays with the use of Binary Ninja and the SENinja plugin.

Kunai is a project started around 2021 as a side project during one of the author’s PhD, and it has been refactored a couple of times with improvements on its C++ code.

So, there we were, Christmas had just zoomed by, and life was kinda tough, you know?

In this post we will talk about the algorithm used in Kunai for generating the SSA form in the Dialect created with MLIR for Dalvik Bytecode analysis, MjolnIR.