rev.ng @_revng

Building the next generation decompiler. Binary analysis is a dish best served static. rev.ng Joined October 2018

Tweets

564
Followers

5K
Following

4
Likes

23

rev.ng @_revng

3 weeks ago

😎 We now push artificial variable declarations close to their use! 😎 Also, inline initialization.

3 4 169 23K 60

View Details

rev.ng @_revng

4 weeks ago

For those wondering, those are not self-xor, the expression in C is parenthesized as `stack.at_16 ^ (stack.at_16 + b) ^ b.

0 0 1 435 0

View Details

rev.ng @_revng

4 weeks ago

🛳️ The new C decompiler backend is almost ready to ship! 🛳️ Merged today: use alias analysis to reduce local variables. More critical improvements to come!

1 0 15 1K 1

View Details

rev.ng @_revng

a month ago

Here's the PR: github.com/revng/revng/pu…

0 0 0 435 1

View Details

⚠️ We just merged the cast elision branch! Now we no longer print all the 👻 casts, i.e., those that, according to the C standard, are implicit. Big win for readability without resorting to "hide all casts" as some other tools do 😉 Design document (REP60): pad.rev.ng/s/jbM3NmEVq

1 0 5 879 2

View Details

rev.ng @_revng

2 months ago

"RAM is cheap", they said.

0 0 4 573 0

View Details

rev.ng @_revng

2 months ago

Presentation: pad.rev.ng/p/wSccC86ts#/ Also available on YouTube: youtu.be/jrZ56K3Sl_k

0 0 6 973 9

View Details

rev.ng @_revng

2 months ago

🎥 New video about QEMU! This time, Anton walks through the basics of QEMU system mode using a simple bare metal program! ⚙️ The focus is on understanding how QEMU’s high-level control flow works, from guest code to BIOS, and down to device implementation.

1 42 199 11K 205

View Details

rev.ng @_revng

3 months ago

Presentation: pad.rev.ng/p/5hyplXyv5#/ Also available on YouTube: youtube.com/watch?v=vV-Oi6…

0 0 0 459 1

View Details

rev.ng @_revng

3 months ago

🎥 How rev.ng finds loops: Nested Cyclical Region Identification Andrea will show us how we identify nested cyclical regions on the CFG in the new decompiler backend.

1 1 9 828 4

View Details

lukas seidel @pr0me

3 months ago

VULHUNT IS OPEN SOURCE you can now use our binary analysis and querying engine for your own research or let an agent go ham with the MCP. the team also did an amazing job to ship comprehensive docs and blog posts with the details, check them out!

Sam Thomas @xorpse

3 months ago

We @binarly_io just open-sourced our VulHunt framework at @REverseConf! GitHub: github.com/vulhunt-re/vul… Documentation: vulhunt.re/docs Slack: join.slack.com/t/vulhunt/shar… vulhunt.re

2 42 173 24K 137

11 27 113 10K 80

View Details

rev.ng @_revng

3 months ago

🎉 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/096bf45…

0 0 2 475 1

View Details

rev.ng @_revng

3 months ago

Presentation: pad.rev.ng/p/3chrWgT5d#/ Also available on YouTube: youtu.be/OCBLTMKLGAk

0 0 5 1K 6

View Details

rev.ng @_revng

3 months ago

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

2 68 347 22K 360

View Details

rev.ng @_revng

4 months ago

Docs: docs.rev.ng/references/ptm… Also available on YouTube: youtube.com/watch?v=_Xtwu_…

0 0 0 413 1

View Details

rev.ng @_revng

4 months ago

Among other things, it also holds references to the original code associated to the decompiled code.

1 0 0 427 0

View Details

rev.ng @_revng

4 months ago

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

1 0 7 886 5

View Details

rev.ng @_revng

4 months ago

Presentation: pad.rev.ng/p/nZM078b9C#/ Also available on YouTube: youtube.com/watch?v=p7od_B…

0 0 0 304 1

View Details

rev.ng @_revng

4 months ago

The constraints are collected using an extension of an LLVM-provided analysis (`LazyValueInfo`) that can track disjoint ranges of values.

1 0 0 279 0

View Details

rev.ng @_revng

4 months ago

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