rev.ng

Building the next generation decompiler.
Binary analysis is a dish best served static.

[rev.ng @_revng]

@AlwaysGameDev We make minor changes, most of our stuff is in a vscode extension.
Anyway, the UI is our product. Don't expect to be able to run the https://t.co/U8JxYbCtzE UI just by installing an extension.

[rev.ng @_revng]

🧹 https://t.co/U8JxYbCtzE now does intraprocedural type propagation!
Enjoy less casts and better local variable types.

[rev.ng @_revng]

@hey_arin We have a hierarchy of "how refined" types are and propagate them on the data flow greedily: types that are less refined are promoted to more refined types.

For instance, `int32_t` is more refined than `generic32_t`.

Here's the design document: https://t.co/zkHqES2BXn

[rev.ng @_revng]

Soon: interprocedural propagation so we get better prototypes as well!

[Jonathan Brossard @endrazine]

The slides from our @defcon presentation in Las Vegas this week are available ! Featuring #AI #cybersecurity upper limits, a constructivist demonstration of the Rice theorem, 0day pipelines, and more 👹 #LasVegas #SinCity #DEFCON

https://t.co/1BCeReW4NP

[rev.ng @_revng]

@endrazine @defcon Looks interesting, sad we couldn't be there.
Anyway, you've got mail!

[rev.ng @_revng]

😎 We now push artificial variable declarations close to their use! 😎

Also, inline initialization.

[rev.ng @_revng]

For those wondering, those are not self-xor, the expression in C is parenthesized as `https://t.co/kpq5ItG6V4_16 ^ (https://t.co/kpq5ItG6V4_16 + b) ^ b.

[rev.ng @_revng]

🛳️ The new C decompiler backend is almost ready to ship! 🛳️

Merged today: use alias analysis to reduce local variables.

More critical improvements to come!

[rev.ng @_revng]

Here's the PR: https://t.co/PkAeTBEz8e

[rev.ng @_revng]

⚠️ 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): https://t.co/DAubaqvNZ0

[rev.ng @_revng]

"RAM is cheap", they said.

[rev.ng @_revng]

Presentation: https://t.co/plXhn5qefo
Also available on YouTube: https://t.co/qRpu1VVSsE

[rev.ng @_revng]

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

[rev.ng @_revng]

Presentation: https://t.co/o7ZRRdbzO5
Also available on YouTube: https://t.co/iquIcAV9f5

[rev.ng @_revng]

🎥 How https://t.co/BpzWlLVmIo finds loops: Nested Cyclical Region Identification

Andrea will show us how we identify nested cyclical regions on the CFG in the new decompiler backend.

[lukas seidel @pr0me]

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!

[rev.ng @_revng]

🎉 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
🔗 https://t.co/B5Hib5RdHm

[rev.ng @_revng]

Presentation: https://t.co/5Pi3bLfwHx
Also available on YouTube: https://t.co/GYvZdSAee5

[rev.ng @_revng]

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