rev.ng · Sep 15, 2026 · 7:26 PM UTC

rev.ng

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 rev.ng UI just by installing an extension.

rev.ng · Sep 15, 2026 · 12:30 PM UTC

rev.ng

@_revngSep 15

Replying to @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: pad.rev.ng/s/2F-pCVNyn

REP70: Local Value Type Refinement - HedgeDoc

pad.rev.ng

rev.ng · Sep 14, 2026 · 2:00 PM UTC

rev.ng

@_revngSep 14

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

683

rev.ng · Sep 14, 2026 · 2:00 PM UTC

rev.ng

@_revngSep 14

🧹 rev.ng now does intraprocedural type propagation! Enjoy less casts and better local variable types.

172

12,662

Jonathan Brossard · Aug 13, 2026 · 3:37 PM UTC

rev.ng retweeted

Jonathan Brossard

@endrazineAug 13

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…

3,592

rev.ng · Aug 14, 2026 · 9:33 AM UTC

rev.ng

@_revngAug 14

Replying to @endrazine @defcon

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

133

rev.ng · May 21, 2026 · 2:13 PM UTC

rev.ng

@_revngMay 21

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

165

23,722

rev.ng · May 15, 2026 · 7:14 AM UTC

rev.ng

@_revngMay 15

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

583

rev.ng · May 14, 2026 · 2:10 PM UTC

rev.ng

@_revngMay 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,283

rev.ng · May 5, 2026 · 2:02 PM UTC

rev.ng

@_revngMay 5

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

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

github.com

539

rev.ng · May 5, 2026 · 2:00 PM UTC

rev.ng

@_revngMay 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,022

rev.ng · Apr 18, 2026 · 1:23 PM UTC

rev.ng

@_revngApr 18

"RAM is cheap", they said.

666

rev.ng · Apr 2, 2026 · 2:17 PM UTC

rev.ng

@_revngApr 2

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

1,040

rev.ng · Apr 2, 2026 · 2:16 PM UTC

rev.ng

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

196

11,390

rev.ng · Mar 19, 2026 · 3:10 PM UTC

rev.ng

@_revngMar 19

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

508

rev.ng · Mar 19, 2026 · 3:02 PM UTC

rev.ng

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

902

lukas seidel · Mar 10, 2026 · 4:21 PM UTC

rev.ng retweeted

lukas seidel

@pr0meMar 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

@xorpseMar 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

110

10,167

rev.ng · Mar 5, 2026 · 3:06 PM UTC

rev.ng

@_revngMar 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+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

526

rev.ng · Feb 27, 2026 · 3:00 PM UTC

rev.ng

@_revngFeb 27

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

1,237

rev.ng · Feb 27, 2026 · 3:00 PM UTC

rev.ng

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

337

22,025