rev.ng

Docs: docs.rev.ng/references/p...

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

Presentation: pad.rev.ng/p/nZM078b9C#/

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.

YouTube video by revng Jump table detection in the rev.ng decompiler (rev.ng hour 2023-11-17)

🎥 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.

Hello everyone! rev.ng has just landed on bluesky. 😄