@_revng profile picture
rev.ng @_revng
Joined October 2018
  • Tweets 564
  • Following 4
  • Followers 5,005
219 Photos and videos
rev.ng
@_revng
May 21
😎 We now push artificial variable declarations close to their use! 😎 Also, inline initialization.
0:10
3
4
170
23,394
rev.ng
@_revng
May 14
🛳️ 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
15
1,057
rev.ng
@_revng
May 15
For those wondering, those are not self-xor, the expression in C is parenthesized as `stack.at_16 ^ (stack.at_16 b) ^ b.
1
445
rev.ng
@_revng
May 5
⚠️ 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
887
rev.ng
@_revng
May 5
Here's the PR: github.com/revng/revng/pull/…

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

github.com
438
rev.ng
@_revng
Apr 18
"RAM is cheap", they said.
4
576
rev.ng
@_revng
Apr 2
🎥 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.
59:46
1
42
199
11,260
rev.ng
@_revng
Apr 2
Presentation: pad.rev.ng/p/wSccC86ts#/ Also available on YouTube: youtu.be/jrZ56K3Sl_k
6
977
rev.ng
@_revng
Mar 19
🎥 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.
42:06
1
1
9
831
rev.ng
@_revng
Mar 19
Presentation: pad.rev.ng/p/5hyplXyv5#/ Also available on YouTube: youtube.com/watch?v=vV-Oi6nU…
461
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
11
27
113
10,065
rev.ng
@_revng
Mar 5
🎉 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 1 - 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
477
rev.ng
@_revng
Feb 27
🎥 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.
37:42
2
68
347
21,826
rev.ng
@_revng
Feb 27
Presentation: pad.rev.ng/p/3chrWgT5d#/ Also available on YouTube: youtu.be/OCBLTMKLGAk
5
1,200
rev.ng
@_revng
Feb 17
🎥 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.
38:29
1
7
888
more replies
rev.ng
@_revng
Feb 17
Among other things, it also holds references to the original code associated to the decompiled code.
1
429
rev.ng
@_revng
Feb 17
Docs: docs.rev.ng/references/ptml/ Also available on YouTube: youtube.com/watch?v=_Xtwu_Ea…
415
rev.ng
@_revng
Feb 5
🎥 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.
1:13:49
1
4
25
2,106
more replies
rev.ng
@_revng
Feb 5
The constraints are collected using an extension of an LLVM-provided analysis (`LazyValueInfo`) that can track disjoint ranges of values.
1
281
rev.ng
@_revng
Feb 5
Presentation: pad.rev.ng/p/nZM078b9C#/ Also available on YouTube: youtube.com/watch?v=p7od_BiU…
306
Load more