🎉 The 10th Nix Milano Unconference is back at our HQ!
Limited seats, so secure your spot and join us!
📅 Saturday, Mar 14, 2026 | 9:30 AM
📍 Via Carlo Farini 57A, Milan
🔗 mobilizon.it/events/096bf...
🎥 QEMU Dev Starter guide, Part 1
The QEMU codebase can be quite daunting for new developers, Anton with this talk aims to give an overview of both the major APIs one might encounter as well as the high control flow of user-mode emulation.
Presentation: pad.rev.ng/p/3chrWgT5d#/
youtu.be/OCBLTMKLGAk
Among other things, it also holds references to the original code associated to the decompiled code.
For instance, it includes information for syntax highlighting, code navigation and collapsible regions.
🎥 PTML: emitting rich decompiled code
Jack introduces PTML and how rev.ng goes beyond raw text, enriching decompiled code (e.g., decompiled C, disassembly, etc.) with HTML-like markup to provide richer and useful information for the viewer.
www.youtube.com/watch?v=_Xtw...
The constraints are collected using an extension of an LLVM-provided analysis (`LazyValueInfo`) that can track disjoint ranges of values.
Finally, we enumerate all the possible values that the jump destination can assume given the constraints we collected.
In short, we optimize the code so we have a nice SSA form, build the data-flow graph of the jump destination and analyze the control flow to obtain constraints over certain nodes of the data flow graph.
🎥 How does rev.ng detect jump table?
In this presentation Ale explains how the rev.ng decompiler detects jump tables and, more in general, how it devirtualizes indirect jumps.
www.youtube.com/watch?v=p7od...
In short, we optimize the code so we have a nice SSA form, build the data-flow graph of the jump destination and analyze the control flow to obtain constraints over certain nodes of the data flow graph.
In short, we optimize the code so we have a nice SSA form, build the data-flow graph of the jump destination and analyze the control flow to obtain constraints over certain nodes of the data flow graph.
