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

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

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

⚠️ 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

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

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

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

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

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

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