@_revng

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

rev.ng
Joined October 2018
  • Tweets569
  • Following4
  • Followers5K
220Media
🧹 rev.ng now does intraprocedural type propagation! Enjoy less casts and better local variable types.
4
11
173
12,609
Soon: interprocedural propagation so we get better prototypes as well!
1
654
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 slideshare.net/slideshow/wit…
2
13
26
3,388
😎 We now push artificial variable declarations close to their use! 😎 Also, inline initialization.
2
5
166
23,694
🛳️ 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
16
1,251
For those wondering, those are not self-xor, the expression in C is parenthesized as `stack.at_16 ^ (stack.at_16 + b) ^ b.
2
566
⚠️ 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
5
1,007
Here's the PR: github.com/revng/revng/pull/…

Clift implicit cast elision by vasama-work · Pull Request #579 · revng/revng

github.com
526
"RAM is cheap", they said.
4
654
🎥 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.

This video is larger than Cloudflare's 512 MB cache, so it can't be played through. More donations are needed to cover a larger cache. Donate

1
42
198
11,374
Presentation: pad.rev.ng/p/wSccC86ts#/ Also available on YouTube: youtu.be/jrZ56K3Sl_k
6
1,030
🎥 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.

This video is larger than Cloudflare's 512 MB cache, so it can't be played through. More donations are needed to cover a larger cache. Donate

1
1
9
891
Presentation: pad.rev.ng/p/5hyplXyv5#/ Also available on YouTube: youtube.com/watch?v=vV-Oi6nU…
498
rev.ng retweeted
lukas seidel
@pr0me
Mar 10
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
Mar 7
We @binarly_io just open-sourced our VulHunt framework at @REverseConf! GitHub: github.com/vulhunt-re/vulhun… Documentation: vulhunt.re/docs Slack: join.slack.com/t/vulhunt/sha… vulhunt.re

GitHub - vulhunt-re/vulhunt: Vulnerability detection framework by Binarly's REsearch team

Vulnerability detection framework by Binarly's REsearch team - vulhunt-re/vulhunt

github.com
11
27
113
10,164
🎉 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/096bf456…

Nix Unconference #10

Mar 14, 2026, 9:30:00 AM - GMT+01:00 - rev.ng Labs - Via Carlo Farini, 57A, 20100, Milan, Italy - Ciao! 🌟 Excited to kick off another great meetup! Join us at rev.ng Labs’ office in Milan (10-minute...

mobilizon.it
2
516
🎥 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.

This video is larger than Cloudflare's 512 MB cache, so it can't be played through. More donations are needed to cover a larger cache. Donate

2
66
1
340
22,004
Presentation: pad.rev.ng/p/3chrWgT5d#/ Also available on YouTube: youtu.be/OCBLTMKLGAk
4
1,228
🎥 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.

This video is larger than Cloudflare's 512 MB cache, so it can't be played through. More donations are needed to cover a larger cache. Donate

1
7
918
more replies
Among other things, it also holds references to the original code associated to the decompiled code.
1
437
Docs: docs.rev.ng/references/ptml/ Also available on YouTube: youtube.com/watch?v=_Xtwu_Ea…
424
Load more